pub const TEEC_MEMREF_TEMP_INPUT: u32 = 5;