PT2MAP_SIZE
#define PT2V_MAX_ADDRESS ((vm_offset_t)PT2MAP + PT2MAP_SIZE)
pte1_idx = pte1_index(KERNBASE - PT2MAP_SIZE);
pte2p = kern_pt2tab_entry(KERNBASE - PT2MAP_SIZE);
CTASSERT((KERNBASE - VM_MAXUSER_ADDRESS) >= PT2MAP_SIZE);
CTASSERT(powerof2(PT2MAP_SIZE));
if (__predict_false(IN_RANGE2(far, PT2MAP, PT2MAP_SIZE))) {
PT2MAP = (pt2_entry_t *)(KERNBASE - PT2MAP_SIZE);