PV_REFERENCED
pv_table[ppn].pv_pflags &= ~PV_REFERENCED;
return (pv_table[ppn].pv_pflags & PV_REFERENCED) != 0;
if ((ppv->pv_pflags & PV_REFERENCED) == 0) {
ppv->pv_pflags |= PV_REFERENCED;
if ((ppv->pv_pflags & PV_REFERENCED) == 0) {
ppv->pv_pflags |= PV_REFERENCED;
(pflags & PV_REFERENCED) && (pflags & PV_MODIFIED)) {
(pflags & PV_REFERENCED)) {
ppv->pv_pflags |= PV_REFERENCED | PV_MODIFIED;
ppv->pv_pflags |= PV_REFERENCED;