gasket_interrupt_cleanup 637 drivers/staging/gasket/gasket_core.c gasket_interrupt_cleanup(gasket_dev); gasket_interrupt_cleanup 1361 drivers/staging/gasket/gasket_core.c gasket_interrupt_cleanup(gasket_dev); gasket_interrupt_cleanup 36 drivers/staging/gasket/gasket_interrupt.h void gasket_interrupt_cleanup(struct gasket_dev *gasket_dev);