VTOP
bootinfo.bi_symtab = VTOP(p);
bootinfo.bi_esymtab = VTOP(p);
bootinfo.bi_kernelname = VTOP(kname);
0, 0, 0, VTOP(&bootinfo));
#define VTOPSEG(va) (uint16_t)(VTOP((caddr_t)va) >> 4)
#define VTOPOFF(va) (uint16_t)(VTOP((caddr_t)va) & 0xf)
bootinfo.bi_symtab = VTOP(p);
bootinfo.bi_symtab = VTOP(p);
bootinfo.bi_esymtab = VTOP(p);
bootinfo.bi_kernelname = VTOP(kname);
KARGS_FLAGS_GELI | KARGS_FLAGS_EXTARG, 0, 0, VTOP(&bootinfo), geliargs
0, 0, 0, VTOP(&bootinfo)
bootinfo.bi_symtab = VTOP(p);
bootinfo.bi_symtab = VTOP(p);
bootinfo.bi_esymtab = VTOP(p);
bootinfo.bi_kernelname = VTOP(kname);
VTOP(&bootinfo),
VTOP(&bootinfo), geliargs
0, 0, 0, VTOP(&bootinfo)
bootinfo.bi_symtab = VTOP(p);
bootinfo.bi_symtab = VTOP(p);
bootinfo.bi_esymtab = VTOP(p);
bootinfo.bi_kernelname = VTOP(kname);
0, 0, 0, VTOP(&bootinfo));
sprintf(buf, "0x%08x", VTOP(rsdp));
dev->dd.d_unit, blks, dest, VTOP(dest), dblk,
dev->dd.d_unit, blks, dblk, dest, VTOP(dest),
bi->bi_kernelname = VTOP(kernelpath);
*bip = VTOP(bi);
PT4[i] = (pml4_entry_t)VTOP((uintptr_t)&PT3[0]);
PT3[i] = (pdpt_entry_t)VTOP((uintptr_t)&PT2[0]);
__exec((void *)VTOP(amd64_tramp), modulep, kernend);
mb_info->boot_loader_name = VTOP(mbl_name);
mb_info->cmdline = VTOP(cmdline);
mb_mod[1].cmdline = VTOP(cmdline);
mb_info->mods_addr = VTOP(mb_mod);
__exec((void *)VTOP(multiboot_tramp), (void *)entry,
(void *)VTOP(mb_info));