VTOP
bootinfo.bi_symtab = VTOP(p);
bootinfo.bi_esymtab = VTOP(p);
bootinfo.bi_kernelname = VTOP(kname);
0, 0, 0, VTOP(&bootinfo));
#define VTOPSEG(va) (u_int16_t)(VTOP((caddr_t)va) >> 4)
#define VTOPOFF(va) (u_int16_t)(VTOP((caddr_t)va) & 0xf)
sprintf(buf, "0x%08x", VTOP(rsdp));
VTOP(dest), result ? "failed" : "ok");
if (((u_int32_t)VTOP(bbuf) & 0xffff8000) ==
((u_int32_t)VTOP(bbuf + x * BIOSDISK_SECSIZE - 1) & 0xffff8000)) {
x, cyl, hd, sec - 1, p, VTOP(p), result ? "failed" : "ok");
if (((u_int32_t)VTOP(bbuf) & 0xffff8000) ==
((u_int32_t)VTOP(bbuf + x * BIOSDISK_SECSIZE - 1) & 0xffff8000)) {
DEBUG("%u sectors from %u/%u/%d to %p (0x%x) %s", x, cyl, hd, sec - 1, p, VTOP(p), result ? "failed" : "ok");
bi.bi_kernelname = VTOP(kernelpath);
*bip = VTOP(&bi);
PT3[i] = (p3_entry_t)VTOP((uintptr_t)&PT2[0]);
__exec((void *)VTOP(x86_64_tramp), modulep, kernend);
PT4[i] = (p4_entry_t)VTOP((uintptr_t)&PT3[0]);