boot_mapin
boot_mapin((caddr_t)addr, size);
extern void boot_mapin(caddr_t addr, size_t size);
boot_mapin((caddr_t)valloc_base, valloc_sz);
boot_mapin((caddr_t)MISC_VA_BASE, MISC_VA_SIZE);
boot_mapin((caddr_t)addr, sz);
boot_mapin((caddr_t)addr, sz);
boot_mapin((caddr_t)addr, sz);
boot_mapin(xb_addr, MMU_PAGESIZE);