Symbol: do_adjust_pte