Symbol: acpi_dbg2