acpi_db_open_debug_file
void acpi_db_open_debug_file(char *name);
acpi_db_open_debug_file(acpi_gbl_db_args[1]);