44     /// # Safety
50         // SAFETY: The caller ensures that the invariants are satisfied for the duration of 'a.  in from_raw()
63         // SAFETY: By the type invariants, this `vm_area_struct` is valid and we hold the mmap/vma  in mm()
74         // SAFETY: By the type invariants, the caller holds at least the mmap read lock, so this  in flags()
82         // SAFETY: By the type invariants, the caller holds at least the mmap read lock, so this  in start()
90         // SAFETY: By the type invariants, the caller holds at least the mmap read lock, so this  in end()
123         // SAFETY: By the type invariants, the caller has read access to this VMA, which is  in zap_page_range_single()
140             // SAFETY: We just checked that `VM_MIXEDMAP` is set. All other requirements are  in as_mixedmap_vma()
180     /// # Safety
186         // SAFETY: The caller ensures that the invariants are satisfied for the duration of 'a.  in from_raw()
195         // SAFETY: By the type invariant of `Self` caller has read access and has verified that  in vm_insert_page()
230     /// # Safety
235         // SAFETY: The caller ensures that the invariants are satisfied for the duration of 'a.  in from_raw()
241     /// # Safety
250         // SAFETY: This is not a data race: the vma is undergoing initial setup, so it's not yet  in update_flags()
262         // SAFETY: We don't yet provide a way to set VM_PFNMAP, so this cannot put the flags in an  in set_mixedmap()
266         // SAFETY: We just set `VM_MIXEDMAP` on the vma.  in set_mixedmap()
277         // SAFETY: Setting the VM_IO flag is always okay.  in set_io()
286         // SAFETY: Setting the VM_DONTEXPAND flag is always okay.  in set_dontexpand()
296         // SAFETY: Setting the VM_DONTCOPY flag is always okay.  in set_dontcopy()
306         // SAFETY: Setting the VM_DONTDUMP flag is always okay.  in set_dontdump()
330         // SAFETY: Clearing `VM_MAYREAD` is okay when `VM_READ` is not set.  in try_clear_mayread()
355         // SAFETY: Clearing `VM_MAYWRITE` is okay when `VM_WRITE` is not set.  in try_clear_maywrite()
380         // SAFETY: Clearing `VM_MAYEXEC` is okay when `VM_EXEC` is not set.  in try_clear_mayexec()