pub const TEEC_MEMREF_TEMP_OUTPUT: u32 = 6;