VCS_ACTIVE
VERIFY0(vmc->vmc_state & VCS_ACTIVE);
vmc->vmc_state |= VCS_ACTIVE;
VERIFY(vmc->vmc_state & VCS_ACTIVE);
vmc->vmc_state ^= VCS_ACTIVE;
ASSERT0(vmc->vmc_state & (VCS_ACTIVE | VCS_ON_CPU));
while ((vmc->vmc_state & VCS_ACTIVE) != 0) {
VERIFY0(vmc->vmc_state & (VCS_ACTIVE | VCS_ON_CPU));