/kernel/arch/arc/plat-arcfpga/include/plat/

• ../
• smp.h