Searched refs:VCS_ACTIVE (Results 1 – 1 of 1) sorted by relevance
141 VCS_ACTIVE = (1 << 0), enumerator1064 VERIFY0(vmc->vmc_state & VCS_ACTIVE); in vmc_activate()1072 vmc->vmc_state |= VCS_ACTIVE; in vmc_activate()1084 VERIFY(vmc->vmc_state & VCS_ACTIVE); in vmc_deactivate()1086 vmc->vmc_state ^= VCS_ACTIVE; in vmc_deactivate()1105 ASSERT0(vmc->vmc_state & (VCS_ACTIVE | VCS_ON_CPU)); in vmc_table_enter()1154 while ((vmc->vmc_state & VCS_ACTIVE) != 0) { in vmc_space_hold()1419 VERIFY0(vmc->vmc_state & (VCS_ACTIVE | VCS_ON_CPU)); in vmc_destroy()