Symbol: gen8_pte_index