initmsgbuf
initmsgbuf((caddr_t) ALPHA_PHYS_TO_K0SEG(ptoa(vps->end)), sz);
initmsgbuf((caddr_t)msgbuf_vaddr, round_page(MSGBUFSIZE));
initmsgbuf(msgbufaddr, round_page(MSGBUFSIZE));
initmsgbuf(msgbufaddr, round_page(MSGBUFSIZE));
initmsgbuf((caddr_t)(ptoa(physmem) - round_page(MSGBUFSIZE)),
initmsgbuf((caddr_t)msgbufp, round_page(MSGBUFSIZE));
initmsgbuf(msgbufbase, MSGBUFSIZE);
initmsgbuf((caddr_t)pmap_steal_memory(MSGBUFSIZE, NULL, NULL),
initmsgbuf(msgbuf_addr, MSGBUFSIZE);
initmsgbuf(msgbufbase, MSGBUFSIZE);
initmsgbuf((caddr_t)uvm_pageboot_alloc(MSGBUFSIZE), MSGBUFSIZE);
initmsgbuf(msgbufaddr, round_page(MSGBUFSIZE));
initmsgbuf((caddr_t)uvm_pageboot_alloc(MSGBUFSIZE), MSGBUFSIZE);
initmsgbuf((caddr_t)msgbufp, msgbufsiz);
void initmsgbuf(caddr_t buf, size_t bufsize);