acpi_db_add_to_history
void acpi_db_add_to_history(char *command_line);
acpi_db_add_to_history(input_buffer);