Symbol: fill_pte