tw5864_timer_isr   93 drivers/media/pci/tw5864/tw5864-core.c static void tw5864_timer_isr(struct tw5864_dev *dev);
tw5864_timer_isr  113 drivers/media/pci/tw5864/tw5864-core.c 		tw5864_timer_isr(dev);