PG_KRE
pte |= PG_V | PG_ASM | PG_KRE | PG_KWE | PG_WIRED;
pte |= PG_V | PG_KRE | PG_KWE; /* NOTE NO ASM */
pte |= PG_V | PG_ASM | PG_KRE | PG_KWE | PG_WIRED;
kp[prot] |= PG_KRE;
up[prot] |= PG_KRE | PG_URE;
kp[prot] |= PG_EXEC | PG_KRE;
up[prot] |= PG_EXEC | PG_KRE | PG_URE;
PG_V | PG_ASM | PG_KRE | PG_KWE | PG_WIRED;
PG_V | PG_ASM | PG_KRE | PG_KWE | PG_WIRED;
PG_V | PG_KRE | PG_KWE;
PG_V | PG_KRE | PG_KWE | PG_WIRED;