• __UINT32 : hw_types.h
• FPTR_VOID_UINT8_T : hw_types.h
• FPTR_VOID_VOID_T : hw_types.h
• IRQn_Type : cc35xx.h
• TZ_MemoryId_t : tz_context.h
• TZ_ModuleId_t : tz_context.h