| /* SPDX-License-Identifier: GPL-2.0 */ |
| #ifndef __KVM_X86_VMX_POSTED_INTR_H |
| #define __KVM_X86_VMX_POSTED_INTR_H |
| |
| #include <linux/bitmap.h> |
| #include <linux/find.h> |
| #include <linux/kvm_host.h> |
| |
| #include <asm/posted_intr.h> |
| |
| void vmx_vcpu_pi_load(struct kvm_vcpu *vcpu, int cpu); |
| void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu); |
| void pi_wakeup_handler(void); |
| void __init pi_init_cpu(int cpu); |
| void pi_apicv_pre_state_restore(struct kvm_vcpu *vcpu); |
| bool pi_has_pending_interrupt(struct kvm_vcpu *vcpu); |
| int vmx_pi_update_irte(struct kvm_kernel_irqfd *irqfd, struct kvm *kvm, |
| unsigned int host_irq, uint32_t guest_irq, |
| struct kvm_vcpu *vcpu, u32 vector); |
| void vmx_pi_start_bypass(struct kvm *kvm); |
| |
| static inline int pi_find_highest_vector(struct pi_desc *pi_desc) |
| { |
| int vec; |
| |
| vec = find_last_bit(pi_desc->pir, 256); |
| return vec < 256 ? vec : -1; |
| } |
| |
| #endif /* __KVM_X86_VMX_POSTED_INTR_H */ |
