PG_PS_IDX
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])) {
kernel_pmap->pmap_bits[PG_PS_IDX] |
pmap_bits_default[PG_PS_IDX] |
pmap_bits_default[PG_PS_IDX] |
pmap_bits_default[PG_PS_IDX] |
(*ptep & kernel_pmap->pmap_bits[PG_PS_IDX])) {
if (*pt & pmap->pmap_bits[PG_PS_IDX]) {
if (pt & kernel_pmap->pmap_bits[PG_PS_IDX]) {
[PG_PS_IDX] = EPT_PG_PS,
[PG_PS_IDX] = X86_PG_PS,
if ((*pt & pmap->pmap_bits[PG_PS_IDX]) != 0)