Symbol: wfit_delay_ns
arch/arm64/kvm/arch_timer.c
307
min_delta = min(min_delta, wfit_delay_ns(vcpu));
arch/arm64/kvm/arch_timer.c
410
return vcpu_has_wfit_active(vcpu) && wfit_delay_ns(vcpu) == 0;