ddb_irq_handler1  147 drivers/media/pci/ddbridge/ddbridge-main.c 				   ddb_irq_handler1, irq_flag, "ddbridge",
ddb_irq_handler1  371 drivers/media/pci/ddbridge/ddbridge.h irqreturn_t ddb_irq_handler1(int irq, void *dev_id);