Symbol: bcm_vk_tty_irqhandler
drivers/misc/bcm-vk/bcm_vk.h
498
irqreturn_t bcm_vk_tty_irqhandler(int irq, void *dev_id);
drivers/misc/bcm-vk/bcm_vk_dev.c
1394
bcm_vk_tty_irqhandler,