xennet_handler
static int xennet_handler(void *);
IST_LEVEL, IPL_NET, &xennet_handler, sc, true, device_xname(dev));