__PMAP_PTP_INDEX
l1idx = __PMAP_PTP_INDEX(va - VM_MIN_KERNEL_ADDRESS);
__pmap_kernel.pm_ptp[__PMAP_PTP_INDEX(va - VM_MIN_KERNEL_ADDRESS)];
i = __PMAP_PTP_INDEX(__pmap_kve - VM_MIN_KERNEL_ADDRESS);
n = __PMAP_PTP_INDEX(__pmap_kve - VM_MIN_KERNEL_ADDRESS);
pmap->pm_ptp[__PMAP_PTP_INDEX(va)] = ptp;
ptp = pmap->pm_ptp[__PMAP_PTP_INDEX(va)];