Symbol: acpi_map_sdt