Constant TEE_MEMORY_ACCESS_WRITE 

pub const TEE_MEMORY_ACCESS_WRITE: u32 = 0x00000002;