Symbol: PTE_PS_4KB