acpi_map_sdt
sdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(addr);
sdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(addr);
sdp = (struct ACPIsdt *)acpi_map_sdt(addr);
rsdp = (struct ACPIsdt *)acpi_map_sdt(rp->rsdt_addr);
rsdp = (struct ACPIsdt *)acpi_map_sdt(rp->xsdt_addr);
static struct ACPIsdt *acpi_map_sdt(vm_offset_t pa);
facs = (ACPI_TABLE_FACS *)acpi_map_sdt(addr);
sdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(addr);
rsdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(rp->RsdtPhysicalAddress);
rsdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(rp->XsdtPhysicalAddress);
dsdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->Dsdt);
dsdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->XDsdt);
sdt = (ACPI_TABLE_HEADER *)acpi_map_sdt(addr);
sdt = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->Dsdt);
sdt = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->XDsdt);
static ACPI_TABLE_HEADER *acpi_map_sdt(vm_offset_t pa);