vpeirq           2520 drivers/media/pci/ttpci/av7110.c 		tasklet_init(&av7110->vpe_tasklet, vpeirq, (unsigned long) av7110);
vpeirq           2601 drivers/media/pci/ttpci/av7110.c 		tasklet_init (&av7110->vpe_tasklet,  vpeirq,  (unsigned long) av7110);
vpeirq            517 drivers/media/pci/ttpci/budget-core.c 	tasklet_init(&budget->vpe_tasklet, vpeirq, (unsigned long) budget);