acpi_db_user_commands  242 drivers/acpi/acpica/acdebug.h acpi_status acpi_db_user_commands(void);
acpi_db_user_commands 1161 drivers/acpi/acpica/dbinput.c 	(void)acpi_db_user_commands();