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