Symbol: KVM_REQ_PENDING_TIMER
arch/powerpc/kvm/booke.c
1873
kvm_make_request(KVM_REQ_PENDING_TIMER, vcpu);
arch/powerpc/kvm/booke.c
652
kvm_make_request(KVM_REQ_PENDING_TIMER, vcpu);
arch/powerpc/kvm/booke.c
738
if (kvm_check_request(KVM_REQ_PENDING_TIMER, vcpu))