PTE_PS_4KB
flags |= PTE_PS_4KB;
pte_tmp |= (PTE_VALID | flags | PTE_PS_4KB); /* 4KB pages only */
PTE_VALID | PTE_PS_4KB;