PTOV
dsk.drive = *(uint8_t *)PTOV(ARGS);
dsk.slice = *(uint8_t *)PTOV(ARGS + 1) + 1;
p = PTOV(addr);
p = PTOV(ep[i].p_paddr & 0xffffff);
if (*(uint8_t *)PTOV(0x496) & 0x10) {
t1 = *(uint32_t *)PTOV(0x46c);
t1 = *(uint32_t *)PTOV(0x46c);
heap_end = PTOV(high_heap_base + high_heap_size);
heap_next = PTOV(high_heap_base);
heap_end = (char *)PTOV(bios_basemem);
gdsk.dsk.drive = *(uint8_t *)PTOV(ARGS);
p = PTOV(addr);
p = PTOV(ep[i].p_paddr & 0xffffff);
if (*(uint8_t *)PTOV(0x496) & 0x10) {
return (PTOV(x));
heap_top = PTOV(high_heap_base + high_heap_size);
heap_bottom = PTOV(high_heap_base);
heap_top = (char *)PTOV(bios_basemem);
bootinfo.bi_bios_dev = *(uint8_t *)PTOV(ARGS);
p = PTOV(addr);
p = PTOV(ep[i].p_paddr & 0xffffff);
if (*(uint8_t *)PTOV(0x496) & 0x10) {
heap_end = PTOV(high_heap_base + high_heap_size);
heap_next = PTOV(high_heap_base);
heap_end = (char *)PTOV(bios_basemem);
dsk.drive = *(uint8_t *)PTOV(ARGS);
p = PTOV(addr);
p = PTOV(ep[i].p_paddr & 0xffffff);
if (*(uint8_t *)PTOV(0x496) & 0x10) {
rsdp = (ACPI_TABLE_RSDP *)PTOV(base + ofs);
addr = (uint16_t *)PTOV(0x40E);
bbuf = PTOV(V86_IO_BUFFER);
if (bbuf != PTOV(V86_IO_BUFFER))
for (unit = 0; unit < *(unsigned char *)PTOV(BIOS_NUMDRIVES); unit++) {
mbft = (ACPI_TABLE_HEADER *)PTOV(probe->sh_mbft);
mdi = (struct memdisk_info *)PTOV(probe->sh_mbft + sizeof(*mbft));
offset = *(uint16_t *)PTOV(0x13 * 4);
segment = *(uint16_t *)PTOV(0x13 * 4 + 2);
probe = (struct safe_13h_hook *)PTOV(segment * 16 + offset);
for (sigptr = PTOV(0xf0000); sigptr < PTOV(0xfffff); sigptr += 16)
bcopy(src, PTOV(dest), len);
bcopy(PTOV(src), dest, len);
return (VECTX_READ(fd, PTOV(dest), len));
pxe_p = (pxe_t *)PTOV(pxenv_p->PXEPtr.segment * 16 +
bcopy(PTOV((gci_p->Buffer.segment << 4) + gci_p->Buffer.offset),
bcopy(PTOV(frame), ptr, isr->BufferLength);
return (PTOV((((farptr & 0xffff0000) >> 12) + (farptr & 0xffff))));
vgatext = (uint16_t *)PTOV(VGA_MEM_BASE + VGA_MEM_SIZE);
vgatext = (uint16_t *)PTOV(VGA_TXT_BASE);
*((uint16_t *)PTOV(mem + DOSMAGICOFFSET)) != DOSMAGIC) {
return (PTOV(x));
(struct bootinfo *)PTOV(kargs->bootinfo) : NULL;
heap_top = PTOV(high_heap_base + high_heap_size);
heap_bottom = PTOV(high_heap_base);
heap_top = (void *)PTOV(bios_basemem);
PTOV(kargs->pxeinfo) : NULL);
smbios_sigsearch(PTOV(SMBIOS_START), SMBIOS_LENGTH);
smbios.addr = PTOV(paddr);
if (!memread(PTOV(0x40E), &addr, sizeof(addr)))
mpfps = biosmptable_search_mpfps(PTOV(addr << 4), 0x400);
mpfps = biosmptable_search_mpfps(PTOV(0xf0000), 0x10000);
mpcth = biosmptable_check_mpcth(PTOV(mpfps->pap));