KERN_PHYSTOV
l0 = (void *)KERN_PHYSTOV(l0pa);
l1 = (void *)KERN_PHYSTOV(pa);
l2 = (void *)KERN_PHYSTOV(pa);
l3 = (void *)KERN_PHYSTOV(pa);
pv->pv_va = KERN_PHYSTOV(pv->pv_pa);
pv->pv_va = KERN_PHYSTOV(pv->pv_pa);
KERN_PHYSTOV(bmi->bmi_kernelstart & -L2_S_SEGSIZE);
text.pv_va = KERN_PHYSTOV(bmi->bmi_kernelstart);
KERN_PHYSTOV(bmi->bmi_start), KERN_PHYSTOV(bmi->bmi_end - 1),
pd_entry_t * const pdep = (pd_entry_t *)KERN_PHYSTOV(ttb);
l2ptva = KERN_PHYSTOV(l1pte_pa(pdep[l1slot]));
pv0->pv_va = KERN_PHYSTOV(pv0->pv_pa);
KERN_PHYSTOV(physical_start), KERN_PHYSTOV(physical_end-1),
KERN_PHYSTOV(physical_freestart), KERN_PHYSTOV(physical_freeend-1),
(var).pv_va = KERN_PHYSTOV((var).pv_pa); \