PMAP_BOOTSTRAP_VA2PA
pstart = PMAP_BOOTSTRAP_VA2PA(etext_gap_start);
pend = PMAP_BOOTSTRAP_VA2PA(etext_gap_end);
if (pstart < PMAP_BOOTSTRAP_VA2PA(KERNBASE)) {
paddr_t chop = PMAP_BOOTSTRAP_VA2PA(KERNBASE);
uvm_page_physload(atop(PMAP_BOOTSTRAP_VA2PA(cpi->ci_free_sva1)),
atop(PMAP_BOOTSTRAP_VA2PA(cpi->ci_free_eva1)),
atop(PMAP_BOOTSTRAP_VA2PA(cpi->ci_free_sva1)),
atop(PMAP_BOOTSTRAP_VA2PA(cpi->ci_free_eva1)),
uvm_page_physload(atop(PMAP_BOOTSTRAP_VA2PA(cpi->ci_free_sva2)),
atop(PMAP_BOOTSTRAP_VA2PA(cpi->ci_free_eva2)),
atop(PMAP_BOOTSTRAP_VA2PA(cpi->ci_free_sva2)),
atop(PMAP_BOOTSTRAP_VA2PA(cpi->ci_free_eva2)),
avail_start = PMAP_BOOTSTRAP_VA2PA(p);
pagetables_start_pa = PMAP_BOOTSTRAP_VA2PA(p);
cpuinfo.ctx_tbl_pa = PMAP_BOOTSTRAP_VA2PA(cpuinfo.ctx_tbl);
avail_start = PMAP_BOOTSTRAP_VA2PA(p);
PMAP_BOOTSTRAP_VA2PA(kernel_regtable_store);
(PMAP_BOOTSTRAP_VA2PA(kphyssegtbl) >> SRMMU_PPNPASHIFT) |
(PMAP_BOOTSTRAP_VA2PA(kphyspagtbl) >> SRMMU_PPNPASHIFT) |
pte = PMAP_BOOTSTRAP_VA2PA(q) >> SRMMU_PPNPASHIFT;
PMAP_BOOTSTRAP_VA2PA(CPUINFO_VA + off);