pmap_modified_bit
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
KASSERT((newpde & (pmap_modified_bit(pmap) | PG_RW)) != PG_RW,
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(dst_pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);
PG_M = pmap_modified_bit(pmap);