__disconnect      155 virt/lib/irqbypass.c 				__disconnect(producer, consumer);
__disconnect      250 virt/lib/irqbypass.c 				__disconnect(producer, consumer);