PTE_PS            108 main.c           [0] = (0) | PTE_P | PTE_W | PTE_PS,
PTE_PS            110 main.c           [KERNBASE>>PDXSHIFT] = (0) | PTE_P | PTE_W | PTE_PS,