Symbol: pte_kprot4m