Symbol: pte_clear_not_present_full