CTL_ISTATUS
__GUEST_ASSERT(xctl & CTL_ISTATUS, "xctl = 0x%lx", xctl);
istatus = (ctl & CTL_ISTATUS) && (ctl & CTL_ENABLE);