/platform/common/include/plat/

• ../
• irqchip
• serial
• string.h
• sys
• tinyfdt.h