ipmi_acpi_gpe      73 drivers/char/ipmi/ipmi_si_platform.c 	acpi_remove_gpe_handler(NULL, io->irq, &ipmi_acpi_gpe);
ipmi_acpi_gpe      86 drivers/char/ipmi/ipmi_si_platform.c 					  &ipmi_acpi_gpe,