Searched refs:guest_irq (Results 1 – 8 of 8) sorted by relevance
| /linux/arch/x86/kvm/vmx/ |
| H A D | posted_intr.h | 18 unsigned int host_irq, uint32_t guest_irq,
|
| H A D | posted_intr.c | 306 unsigned int host_irq, uint32_t guest_irq, in vmx_pi_update_irte() argument
|
| /linux/arch/powerpc/include/asm/ |
| H A D | kvm_ppc.h | 681 extern void kvmppc_xics_set_mapped(struct kvm *kvm, unsigned long guest_irq, 683 extern void kvmppc_xics_clr_mapped(struct kvm *kvm, unsigned long guest_irq, 731 extern int kvmppc_xive_set_mapped(struct kvm *kvm, unsigned long guest_irq, 733 extern int kvmppc_xive_clr_mapped(struct kvm *kvm, unsigned long guest_irq, 769 static inline int kvmppc_xive_set_mapped(struct kvm *kvm, unsigned long guest_irq, in kvmppc_xive_set_mapped() argument 771 static inline int kvmppc_xive_clr_mapped(struct kvm *kvm, unsigned long guest_irq, in kvmppc_xive_clr_mapped() argument
|
| /linux/arch/powerpc/kvm/ |
| H A D | book3s_xive.c | 1550 int kvmppc_xive_set_mapped(struct kvm *kvm, unsigned long guest_irq, in kvmppc_xive_set_mapped() argument 1567 __func__, guest_irq, host_irq, hw_irq); in kvmppc_xive_set_mapped() 1569 sb = kvmppc_xive_find_source(xive, guest_irq, &idx); in kvmppc_xive_set_mapped() 1610 xive->ops->reset_mapped(kvm, guest_irq); in kvmppc_xive_set_mapped() 1648 int kvmppc_xive_clr_mapped(struct kvm *kvm, unsigned long guest_irq, in kvmppc_xive_clr_mapped() argument 1661 pr_debug("%s: GIRQ 0x%lx host IRQ %ld\n", __func__, guest_irq, host_irq); in kvmppc_xive_clr_mapped() 1663 sb = kvmppc_xive_find_source(xive, guest_irq, &idx); in kvmppc_xive_clr_mapped() 1701 xive->ops->reset_mapped(kvm, guest_irq); in kvmppc_xive_clr_mapped()
|
| H A D | book3s_xive.h | 97 int (*reset_mapped)(struct kvm *kvm, unsigned long guest_irq);
|
| /linux/arch/x86/kvm/svm/ |
| H A D | svm.h | 848 unsigned int host_irq, uint32_t guest_irq,
|
| H A D | avic.c | 875 unsigned int host_irq, uint32_t guest_irq, in avic_pi_update_irte() argument
|
| /linux/arch/x86/include/asm/ |
| H A D | kvm_host.h | 1910 unsigned int host_irq, uint32_t guest_irq,
|