Constant optee_teec_sys::TEEC_MEMREF_TEMP_OUTPUT

pub const TEEC_MEMREF_TEMP_OUTPUT: u32 = 0x00000006;