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