kvm_timer_is_pending   86 include/kvm/arm_arch_timer.h bool kvm_timer_is_pending(struct kvm_vcpu *vcpu);
kvm_timer_is_pending  317 virt/kvm/arm/arm.c 	return kvm_timer_is_pending(vcpu);