/include/common/

• ../
• aarch64
• bl_common.h
• debug.h
• el3_common_macros.S
• firmware_image_package.h
• runtime_svc.h
• tbbr