Constant TEE_ERROR_ACCESS_DENIED 

pub const TEE_ERROR_ACCESS_DENIED: u32 = 4294901761;