Constant optee_teec_sys::TEEC_ORIGIN_API

pub const TEEC_ORIGIN_API: u32 = 0x00000001;