Symbol: __gen8_pte_index