ISA_HOLE_VADDR
if (memcmp(ISA_HOLE_VADDR(EISA_ID_PADDR), EISA_ID, EISA_ID_LEN) == 0 &&
scp = (struct bios_config *)ISA_HOLE_VADDR(paddr);
p = (void *)ISA_HOLE_VADDR(pa);
memcpy(pcibios_shadow, ISA_HOLE_VADDR(BIOS32_START), BIOS32_SIZE);
(u_long)ISA_HOLE_VADDR(BIOS32_START));
for (p = (char *)ISA_HOLE_VADDR(0xf0000);
p <= (char *)ISA_HOLE_VADDR(0xffff0);
((p + structlen - 1) > (char *)ISA_HOLE_VADDR(0xfffff)))
for (p = (uint8_t *)ISA_HOLE_VADDR(BIOS32_START);
p < (uint8_t *)ISA_HOLE_VADDR(BIOS32_END);
bios32_entry.offset = (void *)ISA_HOLE_VADDR(entry);
for (p = ISA_HOLE_VADDR(SMBIOS_START);
p < (uint8_t *)ISA_HOLE_VADDR(SMBIOS_END); p+= 16) {
e->offset = (void *)ISA_HOLE_VADDR(entry);
*bshp = (bus_space_handle_t)ISA_HOLE_VADDR(bpa);
sva = (vaddr_t)ISA_HOLE_VADDR(pa);
for (p = (uint8_t *)ISA_HOLE_VADDR(BIOS_START);
p < (uint8_t *)ISA_HOLE_VADDR(BIOS_START + BIOS_LEN);
for (p = (uint8_t *)ISA_HOLE_VADDR(BIOS_START);
p < (uint8_t *)ISA_HOLE_VADDR(BIOS_START + BIOS_LEN); p += 16) {
va = ISA_HOLE_VADDR(start);
maddr = ISA_HOLE_VADDR(ia->ia_iomem[0].ir_addr);
sea->maddr = ISA_HOLE_VADDR(ia->ia_iomem[0].ir_addr);