Symbol: acpi_map_rsdt
sys/dev/acpi/acpi.c
234
static ACPI_TABLE_HEADER *acpi_map_rsdt(void);
sys/dev/acpi/acpi.c
301
rsdt = acpi_map_rsdt();
sys/dev/acpi/acpi.c
448
rsdt = acpi_map_rsdt();