Symbol: atomisp_get_pte