L2_XS_nG
KASSERT((opte & L2_XS_nG) == (pm == pmap_kernel() ? 0 : L2_XS_nG));
npte |= L2_XS_nG; /* user pages are not global */
| (pm != pmap_kernel() ? L2_XS_nG : 0)
npte |= L2_XS_nG;
KASSERT(opte & L2_XS_nG);
| (va & 0x80000000 ? 0 : L2_XS_nG)
| (va & 0x80000000 ? 0 : L2_XS_nG)