xennet_tx_interrupt 1247 drivers/net/xen-netfront.c 	xennet_tx_interrupt(irq, dev_id);
xennet_tx_interrupt 1502 drivers/net/xen-netfront.c 					xennet_tx_interrupt,