KERNEL_P2V
kern_pt1 = (pt1_entry_t *)KERNEL_P2V(base_pt1);
kern_pt2tab = (pt2_entry_t *)KERNEL_P2V(pt2tab_pa);
pt2pg_va = KERNEL_P2V(pt2pg_pa);
pt2pg_va = KERNEL_P2V(pte2_pa(pte2_load(pte2p)));