PG_V_IDX
kernel_pmap->pmap_bits[PG_V_IDX] |
if ((pdp[i] & kernel_pmap->pmap_bits[PG_V_IDX]) == 0)
if ((pd[j] & (kernel_pmap->pmap_bits[PG_PS_IDX] | kernel_pmap->pmap_bits[PG_V_IDX])) ==
(kernel_pmap->pmap_bits[PG_PS_IDX] | kernel_pmap->pmap_bits[PG_V_IDX])) {
} else if ((pd[j] & kernel_pmap->pmap_bits[PG_V_IDX]) ==
kernel_pmap->pmap_bits[PG_V_IDX]) {
if ((pt[k] & kernel_pmap->pmap_bits[PG_V_IDX])
== kernel_pmap->pmap_bits[PG_V_IDX]) {
pt4[i] |= kernel_pmap->pmap_bits[PG_V_IDX] |
pt3[i] |= kernel_pmap->pmap_bits[PG_V_IDX] |
pt2[i] |= kernel_pmap->pmap_bits[PG_V_IDX] |
pmap_bits_default[PG_V_IDX] |
pmap_bits_default[PG_V_IDX] |
pmap_bits_default[PG_V_IDX] |
pmap_bits_default[PG_V_IDX] |
pmap_bits_default[PG_V_IDX] |
pmap_bits_default[PG_V_IDX] |
pmap_bits_default[PG_V_IDX] |
pmap_bits_default[PG_V_IDX] |
pmap_bits_default[PG_V_IDX] |
((*(pd_entry_t *)pde & pmap->pmap_bits[PG_V_IDX]) != 0)
((*(pt_entry_t *)pte & pmap->pmap_bits[PG_V_IDX]) != 0)
(*ptep & kernel_pmap->pmap_bits[PG_V_IDX]) &&
kernel_pmap->pmap_bits[PG_V_IDX] |
if (pt && (*pt & pmap->pmap_bits[PG_V_IDX])) {
if (*pt & pmap->pmap_bits[PG_V_IDX]) {
if (*ptep & pmap->pmap_bits[PG_V_IDX]) {
req = pmap->pmap_bits[PG_V_IDX] |
kernel_pmap->pmap_bits[PG_V_IDX];
kernel_pmap->pmap_bits[PG_V_IDX];
kernel_pmap->pmap_bits[PG_V_IDX];
kernel_pmap->pmap_bits[PG_V_IDX] |
pmap->pmap_bits[PG_V_IDX] |
pmap->pmap_bits[PG_V_IDX] |
pmap->pmap_bits[PG_V_IDX] |
[PG_V_IDX] = EPT_PG_READ | EPT_PG_EXECUTE,
[PG_V_IDX] = X86_PG_V,
pmap->pmap_bits[PG_V_IDX] |
if (*ptep & pmap->pmap_bits[PG_V_IDX]) {
pmap->pmap_bits[PG_V_IDX] |
KKASSERT((*pdp & pmap->pmap_bits[PG_V_IDX]) != 0);
KKASSERT((*pd & pmap->pmap_bits[PG_V_IDX]) != 0);
KASSERT((*pt & pmap->pmap_bits[PG_V_IDX]) != 0,
if ((*pt & pmap->pmap_bits[PG_V_IDX]) == 0) {
if ((*pt & kernel_pmap->pmap_bits[PG_V_IDX]) == 0)
kernel_pmap->pmap_bits[PG_V_IDX] |
if ((*pt & kernel_pmap->pmap_bits[PG_V_IDX]) != 0) {
kernel_pmap->pmap_bits[PG_V_IDX] |
KASSERT((oldpte & pmap->pmap_bits[PG_V_IDX]) ==
pmap->pmap_bits[PG_V_IDX],
if (*ptep & pmap->pmap_bits[PG_V_IDX]) {
KASSERT((oldpte & pmap->pmap_bits[PG_V_IDX]),
KASSERT((oldpte & pmap->pmap_bits[PG_V_IDX]),
KKASSERT(pte & pmap->pmap_bits[PG_V_IDX]);
if (pte & pmap->pmap_bits[PG_V_IDX]) {
pmap->pmap_bits[PG_V_IDX] | pmap->pmap_bits[PG_A_IDX]);
if ((origpte & pmap->pmap_bits[PG_V_IDX]) &&
if (*pte & pmap->pmap_bits[PG_V_IDX]) {
if ((*ptep & pmap->pmap_bits[PG_V_IDX]) == 0) {
kernel_pmap->pmap_bits[PG_V_IDX] | /* pgeflag | */
if ((*pdp & pmap->pmap_bits[PG_V_IDX]) == 0)
if (pd == NULL || (*pd & pmap->pmap_bits[PG_V_IDX]) == 0)
if (pt == NULL || (*pt & pmap->pmap_bits[PG_V_IDX]) == 0)
if (pte & pmap->pmap_bits[PG_V_IDX])
pmap_bits_default[PG_V_IDX] |
pmap_bits_default[PG_V_IDX];
pmap_bits_default[PG_V_IDX];