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,