CKSEG0_TO_PHYS
*pa = CKSEG0_TO_PHYS(va);
firstkernpa = CKSEG0_TO_PHYS((vaddr_t)start);
lastkernpa = CKSEG0_TO_PHYS((vaddr_t)ekern);
allowed = is_memory_range(CKSEG0_TO_PHYS(v),
pa = CKSEG0_TO_PHYS(va);
pa = CKSEG0_TO_PHYS(ph[i].p_paddr);
bootmem_free(CKSEG0_TO_PHYS((vaddr_t)start), end - start);
pa = CKSEG0_TO_PHYS(ph[i].p_paddr);
if (fp >= atop(trunc_page(CKSEG0_TO_PHYS((vaddr_t)start))) &&
lp <= atop(round_page(CKSEG0_TO_PHYS((vaddr_t)ekern))))
firstkernpa = CKSEG0_TO_PHYS((vaddr_t)start);
lastkernpa = CKSEG0_TO_PHYS((vaddr_t)ekern);