Constant optee_utee_sys::TEE_ORIGIN_API

pub const TEE_ORIGIN_API: u32 = 0x00000001;