arch/arm64/kvm/arm.c

1093

kvm_check_request(KVM_REQ_IRQ_PENDING, vcpu);

arch/arm64/kvm/arm.c

1433

kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu);

arch/arm64/kvm/pmu-emul.c

566

kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu);

arch/arm64/kvm/vgic/vgic-v4.c

102

kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu);

arch/arm64/kvm/vgic/vgic.c

1168

kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu);

arch/arm64/kvm/vgic/vgic.c

431

kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu);

arch/arm64/kvm/vgic/vgic.c

487

kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu);

arch/arm64/kvm/vgic/vgic.c

490

kvm_make_all_cpus_request(vcpu->kvm, KVM_REQ_IRQ_PENDING);

arch/arm64/kvm/vgic/vgic.c

802

kvm_make_request(KVM_REQ_IRQ_PENDING, target_vcpu);