acpi_map_table
gtdt = acpi_map_table(physaddr, ACPI_SIG_GTDT);
madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
madt = acpi_map_table(acpi_find_table(ACPI_SIG_MADT), ACPI_SIG_MADT);
madt = acpi_map_table(madt_pa, ACPI_SIG_MADT);
srat = acpi_map_table(srat_pa, ACPI_SIG_SRAT);
iort = acpi_map_table(iort_pa, ACPI_SIG_IORT);
madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
void *acpi_map_table(vm_paddr_t pa, const char *sig);
iort = acpi_map_table(iort_pa, ACPI_SIG_IORT);
madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
slit = acpi_map_table(slit_physaddr, ACPI_SIG_SLIT);
srat = acpi_map_table(srat_physaddr, ACPI_SIG_SRAT);
fadt = acpi_map_table(physaddr, ACPI_SIG_FADT);
fadt = acpi_map_table(physaddr, ACPI_SIG_FADT);
spcr = acpi_map_table(spcr_physaddr, ACPI_SIG_SPCR);
dbg2 = acpi_map_table(dbg2_physaddr, ACPI_SIG_DBG2);
madt = acpi_map_table(madt_physaddr, ACPI_SIG_MADT);
dmartbl = acpi_map_table(dmartbl_physaddr, ACPI_SIG_DMAR);
void *acpi_map_table(vm_paddr_t pa, const char *sig);
fadt = acpi_map_table(physaddr, ACPI_SIG_FADT);
fadt = acpi_map_table(physaddr, ACPI_SIG_FADT);