CPU_EMPTY
while (!CPU_EMPTY(&cpumask)) {
while (!CPU_EMPTY(&mask)) {
if (CPU_EMPTY(&vcpus_active)) {
while (!CPU_EMPTY(&mask)) {
if (CPU_EMPTY(&vcpus_active)) {
if (!CPU_EMPTY(&vcpus_suspended)) {
if (!CPU_EMPTY(cpus)) {