Symbol: atomisp_set_pte