sys/platform/pc64/x86_64/mp_machdep.c

424

kernel_pmap->pmap_bits[PG_U_IDX];

sys/platform/pc64/x86_64/mp_machdep.c

430

kernel_pmap->pmap_bits[PG_U_IDX];

sys/platform/pc64/x86_64/mp_machdep.c

437

kernel_pmap->pmap_bits[PG_U_IDX];

sys/platform/pc64/x86_64/pmap.c

149

((*(pt_entry_t *)pte & pmap->pmap_bits[PG_U_IDX]) != 0)

sys/platform/pc64/x86_64/pmap.c

1815

pmap->pmap_bits[PG_U_IDX];

sys/platform/pc64/x86_64/pmap.c

2524

[PG_U_IDX] = 0, /* no support in EPT */

sys/platform/pc64/x86_64/pmap.c

2787

v |= pmap->pmap_bits[PG_U_IDX];

sys/platform/pc64/x86_64/pmap.c

280

[PG_U_IDX] = X86_PG_U,

sys/platform/pc64/x86_64/pmap.c

2825

v |= pmap->pmap_bits[PG_U_IDX];

sys/platform/pc64/x86_64/pmap.c

5139

newpte |= pmap->pmap_bits[PG_U_IDX];