Constant TEE_MEMORY_ACCESS_WRITE 

pub const TEE_MEMORY_ACCESS_WRITE: u32 = 2;