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