• IRS_INTERNAL_CMD : irs.h
• IRS_PARAM : irs.h
• kw_mode : tees_wrapped_with_rek.h
• protocol_error_code : protocol_errors.h
• TEE_ipSocket_ipVersion_e : tee_isocket.h
• TEE_tlsSocket_CallbackReasonType_e : tee_tlssocket.h
• TEE_tlsSocket_CipherSuites_e : tee_tlssocket.h
• TEE_tlsSocket_ClientCredentialType_e : tee_tlssocket.h
• TEE_tlsSocket_ExtensionFlags_e : tee_tlssocket.h
• TEE_tlsSocket_ServerCredentialType_e : tee_tlssocket.h
• TEE_tlsSocket_StatusRequestType_e : tee_tlssocket.h
• TEE_tlsSocket_tlsVersion_e : tee_tlssocket.h
• TEE_TUIButtonType : tui.h
• TEE_TUIEntryFieldMode : tui.h
• TEE_TUIEntryFieldType : tui.h
• TEE_TUIImageSource : tui.h
• TEE_TUIScreenOrientation : tui.h
• TEES_bool : tees_tui.h
• TEES_ContiguousAllocateFlags : scma.h
• TEES_ContiguousMapFlags : scma.h
• TEES_Result : tees_tui.h
• TEES_TUITouchTypes : tees_tui.h