Symbol: PMAP_KERNEL_PTE