• IRQn_Type : cc27xx.h
• SHA256SW_Handle : sha256sw.h
• TZ_MemoryId_t : tz_context.h
• TZ_ModuleId_t : tz_context.h