Constant TEEC_MEMREF_WHOLE 

pub const TEEC_MEMREF_WHOLE: u32 = 0x0000000C;