/plat/nxp/common/setup/include/
../
bl31_data.h
ls_interrupt_mgmt.h
mmu_def.h
plat_common.h
plat_macros.S