Constant optee_utee_sys::TEE_ORIGIN_TEE

source ยท 
pub const TEE_ORIGIN_TEE: u32 = 0x00000003;