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