PTOV
dsk.drive = *(uint8_t *)PTOV(MEM_BTX_USR_ARG);
dsk.slice = *(uint8_t *)PTOV(MEM_BTX_USR_ARG + 1) + 1;
p = PTOV(addr);
p = PTOV(ep[i].p_paddr & 0xffffff);
i = *(uint8_t *)PTOV(0x496) & 0x10;
t1 = *(uint32_t *)PTOV(0x46c);
rsdp = (ACPI_TABLE_RSDP *)PTOV(base + ofs);
addr = (uint16_t *)PTOV(ACPI_EBDA_PTR_LOCATION);
(nfd >= *(unsigned char *)PTOV(BIOS_NUMDRIVES)))
for (sigptr = PTOV(0xf0000); sigptr < PTOV(0xfffff); sigptr += 16)
bcopy(src, PTOV(dest), len);
bcopy(PTOV(src), dest, len);
bcopy(buf, PTOV(dest), (size_t)got);
pxe_p = (pxe_t *)PTOV(pxenv_p->PXEPtr.segment * 16 +
bcopy(PTOV((gci_p->Buffer.segment << 4) + gci_p->Buffer.offset),
smbios = smbios_sigsearch(addr ? addr : PTOV(SMBIOS_START),
vaddr = PTOV(paddr);
initial_bootinfo = kargs->bootinfo ? (struct bootinfo *)PTOV(kargs->bootinfo) : NULL;
setheap((void *)_end, PTOV(bios_basemem));
if (memend > (char *)PTOV(bios_basemem))
memend = (char *)PTOV(bios_basemem);
pxe_enable(kargs->pxeinfo ? PTOV(kargs->pxeinfo) : NULL);