original_kernel/arch/arc/plat-arcfpga/include/plat
..
irq.h
memmap.h
smp.h