Symbol: populate_extra_pte