pmap_mapped_sync
int pmap_mapped_sync(vm_page_t m);
(pmap_mapped_sync(m) & PG_WRITEABLE)) {
if (pmap_mapped_sync(p) & (PG_MAPPED | PG_WRITEABLE))
if (pmap_mapped_sync(p) & (PG_MAPPED | PG_WRITEABLE))
pmap_mapped_sync(m);
pmap_mapped_sync(m);
if (pmap_mapped_sync(m) & (PG_MAPPED | PG_WRITEABLE)) {
(pmap_mapped_sync(m) & PG_WRITEABLE)) {
pmap_mapped_sync(m);
(pmap_mapped_sync(p) & PG_MAPPED) == 0) {