Assertion: kernel's function | /r/HasProperty | first checks
Facets:
Source sentences:
text: The function page_referenced_obj_one() first checks if the page is in an address managed by this VMA and if so, traverses the page tables of the mm_struct using the VMA ( vma → vm_mm ) until it finds the PTE mapping the page for that mm_struct .