is_vcpu_idle
if (!is_vcpu_idle(cpu))
if (!is_vcpu_idle(i))
if (vcpu->arch.cputm_enabled && !is_vcpu_idle(vcpu))
if (vcpu->arch.cputm_enabled && !is_vcpu_idle(vcpu))
idle = is_vcpu_idle(vcpu);