Symbol: vcpu_has_wfit_active
arch/arm64/kvm/arch_timer.c
295
if (vcpu_has_wfit_active(vcpu))
arch/arm64/kvm/arch_timer.c
399
return vcpu_has_wfit_active(vcpu) && wfit_delay_ns(vcpu) == 0;
arch/arm64/kvm/arch_timer.c
584
!vcpu_has_wfit_active(vcpu))