PV_F_CI_USR
newpv->pv_vf |= PV_F_CI_USR;
vaddr_t pv_flags = newpv->pv_vf & PV_F_CI_USR;
if (pv->pv_vf & PV_F_CI_USR) {
vaddr_t all_ci_flags = PV_F_CI_USR;
all_ci_flags &= PV_F_CI_USR | PV_F_CI_VAC;