mei_txe_irq_quick_handler   57 drivers/misc/mei/hw-txe.h irqreturn_t mei_txe_irq_quick_handler(int irq, void *dev_id);
mei_txe_irq_quick_handler  106 drivers/misc/mei/pci-txe.c 			mei_txe_irq_quick_handler,
mei_txe_irq_quick_handler  261 drivers/misc/mei/pci-txe.c 			mei_txe_irq_quick_handler,