X86_PG_PS
MPASS((*pdpe & X86_PG_PS) == 0);
MPASS((*pde & X86_PG_PS) == 0);
if ((pdp & X86_PG_PS) != 0) {
if ((pd & X86_PG_PS) != 0)
*pdpe = pa | pg_g | X86_PG_PS | X86_PG_RW |
*pde = pa | pg_g | X86_PG_PS | X86_PG_RW |
if ((pdp & X86_PG_PS) != 0) {
if ((pd & X86_PG_PS) != 0) {
if ((p & X86_PG_PS) != 0)
if ((p & X86_PG_PS) != 0)
MPASS((*pde & (X86_PG_PS | X86_PG_V)) == X86_PG_V);
MPASS((*pdpe & X86_PG_PS) == 0);
MPASS((*pdpe & X86_PG_PS) == 0);
MPASS((*pde & X86_PG_PS) == 0);
MPASS((*pde & X86_PG_PS) == 0);
X86_PG_PS | X86_PG_V | X86_PG_A | X86_PG_M | pg_nx);
if ((*pde & X86_PG_PS) != 0)
KASSERT((*vtopde(va) & X86_PG_PS) == 0,
#define PG_PS X86_PG_PS