debi_tasklet     2616 drivers/media/pci/ttpci/av7110.c 	tasklet_init (&av7110->debi_tasklet, debiirq, (unsigned long) av7110);
debi_tasklet     2769 drivers/media/pci/ttpci/av7110.c 	tasklet_kill(&av7110->debi_tasklet);
debi_tasklet     2829 drivers/media/pci/ttpci/av7110.c 		tasklet_schedule(&av7110->debi_tasklet);
debi_tasklet      111 drivers/media/pci/ttpci/av7110.h 	struct tasklet_struct	debi_tasklet;