acpi_db_trace
void acpi_db_trace(char *enable_arg, char *method_arg, char *once_arg);
acpi_db_trace(acpi_gbl_db_args[1], acpi_gbl_db_args[2],