PG_VPTMAPPED
if (m->flags & PG_VPTMAPPED) {
| PG_VPTMAPPED
if (m->flags & PG_VPTMAPPED)
if (m->flags & PG_VPTMAPPED) {
if (m->flags & PG_VPTMAPPED)
vm_page_flag_set(fs.mary[0], PG_VPTMAPPED);
vm_page_flag_set(fs.mary[n], PG_VPTMAPPED);