/plat/arm/board/arm_fpga/include/

• ../
• plat_macros.S
• platform_def.h