PG_G_IDX
pmap_bits_default[PG_G_IDX];
pmap_bits_default[PG_G_IDX] |
pmap_bits_default[PG_G_IDX] |
[PG_G_IDX] = 0, /* no support in EPT */
pmap->pmap_bits[PG_G_IDX] = 0;
[PG_G_IDX] = X86_PG_G,
if (pte & pmap->pmap_bits[PG_G_IDX])
if (ipte & ipmap->pmap_bits[PG_G_IDX])
if (ipte & ipmap->pmap_bits[PG_G_IDX])
pmap_bits_default[PG_G_IDX];