ciintf_irq_tasklet   57 drivers/media/pci/ttpci/budget-av.c 	struct tasklet_struct ciintf_irq_tasklet;
ciintf_irq_tasklet   94 drivers/media/pci/ttpci/budget-ci.c 	struct tasklet_struct ciintf_irq_tasklet;
ciintf_irq_tasklet  494 drivers/media/pci/ttpci/budget-ci.c 		tasklet_init(&budget_ci->ciintf_irq_tasklet, ciintf_interrupt, (unsigned long) budget_ci);
ciintf_irq_tasklet  534 drivers/media/pci/ttpci/budget-ci.c 		tasklet_kill(&budget_ci->ciintf_irq_tasklet);
ciintf_irq_tasklet  566 drivers/media/pci/ttpci/budget-ci.c 		tasklet_schedule(&budget_ci->ciintf_irq_tasklet);