pub unsafe extern "C" fn _utee_check_access_rights( flags: u32, buf: *const c_void, len: size_t, ) -> TEE_Result