acpi_db_send_notify   71 drivers/acpi/acpica/acdebug.h void acpi_db_send_notify(char *name, u32 value);
acpi_db_send_notify  910 drivers/acpi/acpica/dbinput.c 		acpi_db_send_notify(acpi_gbl_db_args[1], temp);