XD_INIT
if ((vdp->xdf_state != XD_INIT) &&
xdf_set_state(vdp, XD_INIT);
ASSERT(vdp->xdf_state == XD_INIT);
if (vdp->xdf_state == XD_INIT)
ASSERT(vdp->xdf_state == XD_INIT);
if (vdp->xdf_state != XD_INIT) {
ASSERT(vdp->xdf_state == XD_INIT);
if (vdp->xdf_state == XD_INIT)