pmap_bootstrap_alloc
(void)pmap_bootstrap_alloc(size - off);
void *pmap_bootstrap_alloc(int);
kernAbase = pmap_bootstrap_alloc(size);
kernBbase = pmap_bootstrap_alloc(size);
kernCbase = pmap_bootstrap_alloc(size);
mmuCbase = pmap_bootstrap_alloc(size);
mmuBbase = pmap_bootstrap_alloc(size);
mmuAbase = pmap_bootstrap_alloc(size);
pvbase = (pv_t *)pmap_bootstrap_alloc(sizeof(pv_t) *
(a_tmgr_t *)pmap_bootstrap_alloc(sizeof(a_tmgr_t) * NUM_A_TABLES);
(b_tmgr_t *)pmap_bootstrap_alloc(sizeof(b_tmgr_t) * NUM_B_TABLES);
(c_tmgr_t *)pmap_bootstrap_alloc(sizeof(c_tmgr_t) * NUM_C_TABLES);
pvebase = (pv_elem_t *)pmap_bootstrap_alloc(sizeof(pv_elem_t) *