/arch/arm/include/asm/arch-socfpga/
../
reset_manager.h
socfpga_base_addrs.h
spl.h
timer.h