/arch/arm/include/asm/arch-socfpga/

• ../
• reset_manager.h
• socfpga_base_addrs.h
• spl.h
• system_manager.h
• timer.h