VCS_ON_CPU
ASSERT0(vmc->vmc_state & (VCS_ACTIVE | VCS_ON_CPU));
atomic_or_uint(&vmc->vmc_state, VCS_ON_CPU);
ASSERT(vmc->vmc_state & VCS_ON_CPU);
vmc->vmc_state ^= VCS_ON_CPU;
if (kick_on_cpu && (vmc->vmc_state & VCS_ON_CPU) != 0) {
while ((vmc->vmc_state & VCS_ON_CPU) != 0) {
if ((vmc->vmc_state & VCS_ON_CPU) != 0) {
while ((vmc->vmc_state & VCS_ON_CPU) != 0) {
VERIFY0(vmc->vmc_state & VCS_ON_CPU);
VERIFY0(vmc->vmc_state & (VCS_ACTIVE | VCS_ON_CPU));