FreeBSD/sys/arm64/arm64/pmap.c
/*
 *	pmap_is_modified:
 *
 *	Return whether or not the specified physical page was modified
 *	in any physical maps.
 */
Return whether or not the specified physical page was modified
in any physical maps.
Return whether or not the specified physical page was modified in any physical maps .
boolean_t
pmap_is_modified(vm_page_t m)
{
	KASSERT((m->oflags & VPO_UNMANAGED) == 0,
	    ("pmap_is_modified: page %p is not managed", m));
	VM_OBJECT_ASSERT_WLOCKED(m->object);
	if (!vm_page_xbusied(m) && (m->aflags & PGA_WRITEABLE) == 0)
		return (FALSE);
	return (pmap_page_test_mappings(m, FALSE, TRUE));
}
boolean_t pmap_is_modified ( vm_page_t m ) { KASSERT ( ( m -> oflags & VPO_UNMANAGED ) == 0 , ( " " , m ) ) ; VM_OBJECT_ASSERT_WLOCKED ( m -> object ) ; if ( ! vm_page_xbusied ( m ) && ( m -> aflags & PGA_WRITEABLE ) == 0 ) return ( FALSE ) ; return ( pmap_page_test_mappings ( m , FALSE , TRUE ) ) ; }
pmap_is_modified:
      Return whether or not the specified physical page was modified
      in any physical maps.
pmap_is_modified : Return whether or not the specified physical page was modified in any physical maps .
/*
	 * If the page is not exclusive busied, then PGA_WRITEABLE cannot be
	 * concurrently set while the object is locked.  Thus, if PGA_WRITEABLE
	 * is clear, no PTEs can have PG_M set.
	 */