Constant TEEC_MEMREF_WHOLE

pub const TEEC_MEMREF_WHOLE: uint32_t = 0x0000000C;