acpi_db_execute   190 drivers/acpi/acpica/acdebug.h acpi_db_execute(char *name, char **args, acpi_object_type *types, u32 flags);
acpi_db_execute   756 drivers/acpi/acpica/dbinput.c 		acpi_db_execute(acpi_gbl_db_args[1],
acpi_db_execute   781 drivers/acpi/acpica/dbinput.c 		acpi_db_execute(acpi_gbl_db_args[1],