Symbol: acpi_db_generate_interrupt
drivers/acpi/acpica/acdebug.h
290
void acpi_db_generate_interrupt(char *gsiv_arg);
drivers/acpi/acpica/dbinput.c
1072
acpi_db_generate_interrupt(acpi_gbl_db_args[1]);