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);