Symbol: stage2_make_pte