Constant optee_teec_sys::TEEC_VALUE_OUTPUT

pub const TEEC_VALUE_OUTPUT: u32 = 0x00000002;