Symbol: set_pte