acpi_db_open_debug_file  215 drivers/acpi/acpica/acdebug.h void acpi_db_open_debug_file(char *name);
acpi_db_open_debug_file 1063 drivers/acpi/acpica/dbinput.c 		acpi_db_open_debug_file(acpi_gbl_db_args[1]);