acpi_db_add_to_history  224 drivers/acpi/acpica/acdebug.h void acpi_db_add_to_history(char *command_line);
acpi_db_add_to_history  698 drivers/acpi/acpica/dbinput.c 		acpi_db_add_to_history(input_buffer);