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]);