xenbus_dev_t
static int xenbusdrv_queue_reply(xenbus_dev_t *, const struct xsd_sockmsg *,
e = ddi_soft_state_init(&xenbusdrv_statep, sizeof (xenbus_dev_t), 1);
xenbus_dev_t *xbs;
xenbus_dev_t *xbs;
xenbus_dev_t *xbs;
xenbusdrv_queue_reply(xenbus_dev_t *xbs, const struct xsd_sockmsg *msg,
xenbus_dev_t *xbs;
xenbus_dev_t *xbs;
xenbus_dev_t *xbs;
((xenbus_dev_t *)ddi_get_soft_state(xenbusdrv_statep, (instance)))