Symbol: VPTE_MANAGED
sys/platform/vkernel64/platform/pmap.c
1859
if (oldpte & VPTE_MANAGED) {
sys/platform/vkernel64/platform/pmap.c
2343
if ((origpte & (VPTE_MANAGED|VPTE_M)) == (VPTE_MANAGED|VPTE_M)) {
sys/platform/vkernel64/platform/pmap.c
2369
if (origpte & VPTE_MANAGED) {
sys/platform/vkernel64/platform/pmap.c
2370
pa |= VPTE_MANAGED;
sys/platform/vkernel64/platform/pmap.c
2416
pa |= VPTE_MANAGED;
sys/platform/vkernel64/platform/pmap.c
2447
KKASSERT((newpte & VPTE_MANAGED) == 0 || (m->flags & PG_MAPPED));
sys/platform/vkernel64/platform/pmap.c
3172
if ((pte & VPTE_MANAGED) == 0)
sys/platform/vkernel64/platform/pmap.c
3397
if ((*pte & VPTE_MANAGED) == 0)
sys/platform/vkernel64/platform/pmap_inval.c
186
if ((pte & VPTE_MANAGED) == 0)
sys/platform/vkernel64/platform/pmap_inval.c
197
if ((pte & VPTE_MANAGED) == 0) {