initmsgbuf
initmsgbuf((void *)AARCH64_PA_TO_KVA(msgbufaddr), MSGBUFSIZE);
initmsgbuf(msgbufaddr, sz);
initmsgbuf((void *)msgbuf_vaddr, round_page(sz));
initmsgbuf(msgbufaddr, round_page(MSGBUFSIZE));
initmsgbuf(msgbufaddr, round_page(MSGBUFSIZE));
initmsgbuf(msgbufaddr, m68k_round_page(MSGBUFSIZE));
initmsgbuf((void *)msgbuf_paddr, round_page(MSGBUFSIZE));
initmsgbuf((void *)msgbuf, round_page(MSGBUFSIZE));
initmsgbuf(msgbufaddr, MSGBUFSIZE);
initmsgbuf((void *)msgbuf_vaddr, sz);
initmsgbuf(msgbufaddr, MSGBUFSIZE);
initmsgbuf(msgbufaddr, round_page(MSGBUFSIZE));
initmsgbuf(msgbufaddr, m68k_round_page(MSGBUFSIZE));
initmsgbuf(msgbufaddr, sz);
initmsgbuf((void *)msgbuf_vaddr, round_page(MSGBUFSIZE));
initmsgbuf((void *)msgbuf, round_page(MSGBUFSIZE));
initmsgbuf(v, sz);
initmsgbuf((void *)msgbufaddr, MSGBUFSIZE);
initmsgbuf((void *)RISCV_PA_TO_KVA(msgbufaddr), MSGBUFSIZE);
initmsgbuf((void *)uvm_pageboot_alloc(MSGBUFSIZE), MSGBUFSIZE);
initmsgbuf((void *)KERNBASE, 8192);
initmsgbuf((void *)MSGBUF_VA, size);
initmsgbuf((void *)va0, size);
initmsgbuf((void *)msgbufp, msgbufsiz);
initmsgbuf(um_msgbuf, msgbufsize);
initmsgbuf(msgbufaddr, round_page(MSGBUFSIZE));
initmsgbuf(rump_msgbuf, sizeof(rump_msgbuf));
void initmsgbuf(void *, size_t);