xennet_rx_interrupt 1248 drivers/net/xen-netfront.c 	xennet_rx_interrupt(irq, dev_id);
xennet_rx_interrupt 1511 drivers/net/xen-netfront.c 					xennet_rx_interrupt,