Symbol: pte_t