Symbol: kern_pte1