Constant TEEC_MEMREF_TEMP_OUTPUT

pub const TEEC_MEMREF_TEMP_OUTPUT: uint32_t = 0x00000006;