Constant TEE_MALLOC_NO_SHARE 

pub const TEE_MALLOC_NO_SHARE: u32 = 0x00000002;