Symbol: acpi_db_display_help
drivers/acpi/acpica/dbinput.c
26
static void acpi_db_display_help(char *command);
drivers/acpi/acpica/dbinput.c
853
acpi_db_display_help(acpi_gbl_db_args[1]);