Home
last modified time | relevance | path

Searched refs:KVM_REQ_IRQ_PENDING (Results 1 – 5 of 5) sorted by relevance

/arch/arm64/kvm/vgic/
Dvgic.c367 kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu); in vgic_queue_irq_unlock()
416 kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu); in vgic_queue_irq_unlock()
711 kvm_make_request(KVM_REQ_IRQ_PENDING, target_vcpu); in vgic_prune_ap_list()
992 kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu); in vgic_kick_vcpus()
Dvgic-v4.c102 kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu); in vgic_v4_doorbell_handler()
/arch/arm64/kvm/
Darm.c893 kvm_check_request(KVM_REQ_IRQ_PENDING, vcpu); in check_vcpu_requests()
1220 kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu); in vcpu_interrupt_line()
Dpmu-emul.c518 kvm_make_request(KVM_REQ_IRQ_PENDING, vcpu); in kvm_pmu_perf_overflow()
/arch/arm64/include/asm/
Dkvm_host.h44 #define KVM_REQ_IRQ_PENDING KVM_ARCH_REQ(1) macro