pmap_mapbios
header = pmap_mapbios(pa, sizeof(ACPI_TABLE_HEADER));
table = pmap_mapbios(pa, length);
table = pmap_mapbios(address, sizeof(ACPI_TABLE_HEADER));
rsdp = pmap_mapbios(rsdp_ptr, sizeof(ACPI_TABLE_RSDP));
void *pmap_mapbios(vm_paddr_t, vm_size_t);
rsdp = pmap_mapbios(rsdp_ptr, sizeof(ACPI_TABLE_RSDP));
header = pmap_mapbios(pa, sizeof(ACPI_TABLE_HEADER));
table = pmap_mapbios(pa, length);
table = pmap_mapbios(address, sizeof(ACPI_TABLE_HEADER));
void *pmap_mapbios(vm_paddr_t, vm_size_t);
x86bios_ivt = pmap_mapbios(X86BIOS_IVT_BASE, X86BIOS_IVT_SIZE);
return (pmap_mapbios((vm_offset_t)PhysicalAddress, Length));
cpus = (struct cpu_info *)pmap_mapbios(addr, size);
header = pmap_mapbios(addr, sizeof(struct smbios_eps));
table = pmap_mapbios(addr, header->length);
table = pmap_mapbios(header->structure_table_address,
return (pmap_mapbios(VGA_PCI_BIOS_SHADOW_ADDR, *size));
ptr = pmap_mapbios(addr, map_size);
va = pmap_mapbios(pa, size);
va = pmap_mapbios(pa, size);
header = pmap_mapbios(pa, sizeof(ACPI_TABLE_HEADER));
table = pmap_mapbios(pa, length);
table = pmap_mapbios(address, sizeof(ACPI_TABLE_HEADER));
rsdp = pmap_mapbios(rsdp_ptr, sizeof(ACPI_TABLE_RSDP));
va = pmap_mapbios(0xffff0, 16);
void *pmap_mapbios(vm_paddr_t, vm_size_t);
void *pmap_mapbios(vm_paddr_t, vm_size_t);
madt = pmap_mapbios(madt_physaddr, madt_length);