vcpu_has_wfit_active
if (vcpu_has_wfit_active(vcpu))
return vcpu_has_wfit_active(vcpu) && wfit_delay_ns(vcpu) == 0;
!vcpu_has_wfit_active(vcpu))