ACPI_DEBUG_DEFAULT 1123 drivers/acpi/acpica/dbinput.c 			acpi_dbg_level = ACPI_DEBUG_DEFAULT;
ACPI_DEBUG_DEFAULT  153 include/acpi/acoutput.h #ifndef ACPI_DEBUG_DEFAULT
ACPI_DEBUG_DEFAULT  247 include/acpi/acpixf.h ACPI_INIT_GLOBAL(u32, acpi_dbg_level, ACPI_DEBUG_DEFAULT);