Symbol: stage2_try_set_pte