CPU_CLR
CPU_CLR(vcpu, &cpumask);
CPU_CLR(vcpu, &mask);
CPU_CLR(vcpu, &mask);
CPU_CLR(vcpuid, &vcpus_waiting);
CPU_CLR(vcpuid, &vcpus_suspended);
CPU_CLR(vlapic->vcpuid, &dmask);
CPU_CLR(i, &dmask);
CPU_CLR(vcpuid, &dmask);
CPU_CLR(vcpuid, &amask);
CPU_CLR(cpu, &dmask);