kern_pt2tab_entry
if (!pte2_is_valid(pte2_load(kern_pt2tab_entry(va))))
pte2p = kern_pt2tab_entry(KERNBASE - PT2MAP_SIZE);
pte2 = pt2tab_load(kern_pt2tab_entry(kernel_vm_end));
pte2p = kern_pt2tab_entry(KERNBASE);
pte2p = kern_pt2tab_entry((vm_offset_t)PT2MAP);
pte2p = kern_pt2tab_entry((vm_offset_t)kern_pt1);
pte2p = kern_pt2tab_entry(va);
pte2 = pte2_load(kern_pt2tab_entry(va));