xen_blkif_be_int  382 drivers/block/xen-blkback/common.h irqreturn_t xen_blkif_be_int(int irq, void *dev_id);
xen_blkif_be_int  233 drivers/block/xen-blkback/xenbus.c 						    xen_blkif_be_int, 0,