Symbol: PTE_ENTRY_SIZE