acpi_map_physical
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);