Searched refs:madt_pa (Results 1 – 1 of 1) sorted by relevance
530 vm_paddr_t madt_pa, srat_pa; in iort_post_process_its() local534 madt_pa = acpi_find_table(ACPI_SIG_MADT); in iort_post_process_its()535 KASSERT(madt_pa != 0, ("no MADT!")); in iort_post_process_its()536 madt = acpi_map_table(madt_pa, ACPI_SIG_MADT); in iort_post_process_its()