acpi_map_physical
ctx = acpi_map_physical(base_addr, DMAR_PAGE_SIZE);
regs = acpi_map_physical(base_addr, 4096);
root_table = acpi_map_physical(rtaddr & DMAR_RTADDR_RTA_MASK, 4096);
sp = acpi_map_physical(pa, sizeof(ACPI_TABLE_HEADER));
sp = acpi_map_physical(pa, sp->Length);
sp = acpi_map_physical(pa, sizeof(struct ACPIsdt));
sp = acpi_map_physical(pa, sp->len);
return (acpi_map_physical(addr, len));
static void * acpi_map_physical(vm_offset_t, size_t);
vaddr = (unsigned char *)acpi_map_physical(paddr, len);
sp = acpi_map_physical(pa, sizeof(ACPI_TABLE_HEADER));
sp = acpi_map_physical(pa, sp->Length);
return (acpi_map_physical(addr, len));
void *acpi_map_physical(vm_offset_t, size_t);