XENSTORE_UP
xnp->notify_func(XENSTORE_UP);
(void *)XENSTORE_UP, 0);
xvdi_watch_devices(XENSTORE_UP);
if (state != XENSTORE_UP)