1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __KVM_X86_VMX_POSTED_INTR_H 3 #define __KVM_X86_VMX_POSTED_INTR_H 4 5 #include <linux/find.h> 6 #include <asm/posted_intr.h> 7 8 void vmx_vcpu_pi_load(struct kvm_vcpu *vcpu, int cpu); 9 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu); 10 void pi_wakeup_handler(void); 11 void __init pi_init_cpu(int cpu); 12 bool pi_has_pending_interrupt(struct kvm_vcpu *vcpu); 13 int vmx_pi_update_irte(struct kvm *kvm, unsigned int host_irq, 14 uint32_t guest_irq, bool set); 15 void vmx_pi_start_assignment(struct kvm *kvm); 16 17 static inline int pi_find_highest_vector(struct pi_desc *pi_desc) 18 { 19 int vec; 20 21 vec = find_last_bit((unsigned long *)pi_desc->pir, 256); 22 return vec < 256 ? vec : -1; 23 } 24 25 #endif /* __KVM_X86_VMX_POSTED_INTR_H */ 26