gasket_interrupt_reset_counts   54 drivers/staging/gasket/gasket_interrupt.h int gasket_interrupt_reset_counts(struct gasket_dev *gasket_dev);
gasket_interrupt_reset_counts  344 drivers/staging/gasket/gasket_ioctl.c 		retval = gasket_interrupt_reset_counts(gasket_dev);