pub fn check_memory_access_rights( access_flags: u32, start: usize, size: usize, mapped_param_ranges: &Vec<Range<usize>>, ) -> TEE_Result