acpi_db_get_from_history  228 drivers/acpi/acpica/acdebug.h char *acpi_db_get_from_history(char *command_num_arg);
acpi_db_get_from_history  814 drivers/acpi/acpica/dbinput.c 		command_line = acpi_db_get_from_history(acpi_gbl_db_args[1]);
acpi_db_get_from_history  824 drivers/acpi/acpica/dbinput.c 		command_line = acpi_db_get_from_history(NULL);