Symbol: acpi_dmar_satc