user_command       22 drivers/acpi/acpica/dbinput.c static u32 acpi_db_match_command(char *user_command);
user_command      634 drivers/acpi/acpica/dbinput.c static u32 acpi_db_match_command(char *user_command)
user_command      638 drivers/acpi/acpica/dbinput.c 	if (!user_command || user_command[0] == 0) {
user_command      645 drivers/acpi/acpica/dbinput.c 		     user_command) == acpi_gbl_db_commands[i].name) {