pmap_bootstrap
pmap_bootstrap(ALPHA_PHYS_TO_K0SEG(ptb << PGSHIFT),
void pmap_bootstrap(paddr_t ptaddr, u_int maxasn, u_long ncpuids);
first_avail = pmap_bootstrap(first_avail, trunc_page(avail_end));
paddr_t pmap_bootstrap(paddr_t, paddr_t);
void pmap_bootstrap(pd_entry_t *, vaddr_t, vaddr_t);
vstart = pmap_bootstrap(kvo, abp->kern_l1pt,
vaddr_t pmap_bootstrap(long kvo, paddr_t lpt1, long kernelstart,
pmap_bootstrap((pd_entry_t *)kernel_l1pt.pv_va, KERNEL_VM_BASE,
pmap_bootstrap(round_page(start));
void pmap_bootstrap(vaddr_t);
pmap_bootstrap((vaddr_t)atdevbase + IOM_SIZE);
void pmap_bootstrap(vaddr_t);
void pmap_bootstrap(vaddr_t);
pmap_bootstrap();
pmap_bootstrap();
pmap_bootstrap(0, 0x20000); /* ROM needs 128KB */
void pmap_bootstrap(paddr_t, paddr_t);
pmap_bootstrap(startkernel, endkernel);
void pmap_bootstrap(void);
pmap_bootstrap();
void pmap_bootstrap(u_int kernelstart, u_int kernelend);
void pmap_bootstrap(void);
pmap_bootstrap();
vaddr_t pmap_bootstrap(long kvo, paddr_t lpt1,
vstart = pmap_bootstrap(rbp->kern_phys - KERNBASE, rbp->kern_l1pt,
void pmap_bootstrap(void);
void pmap_bootstrap(u_long, u_long, u_int, u_int);
pmap_bootstrap(KERNBASE, (u_long)&end, nctx, ncpus);