18888cdd0SXiaoyao Li /* SPDX-License-Identifier: GPL-2.0 */ 28888cdd0SXiaoyao Li #ifndef __KVM_X86_VMX_POSTED_INTR_H 38888cdd0SXiaoyao Li #define __KVM_X86_VMX_POSTED_INTR_H 4*459403bcSSean Christopherson 5*459403bcSSean Christopherson #include <linux/find.h> 665b2514eSJacob Pan #include <asm/posted_intr.h> 78888cdd0SXiaoyao Li 88888cdd0SXiaoyao Li void vmx_vcpu_pi_load(struct kvm_vcpu *vcpu, int cpu); 98888cdd0SXiaoyao Li void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu); 108888cdd0SXiaoyao Li void pi_wakeup_handler(void); 11a3ff25fcSPaolo Bonzini void __init pi_init_cpu(int cpu); 128888cdd0SXiaoyao Li bool pi_has_pending_interrupt(struct kvm_vcpu *vcpu); 1358fccda4SSean Christopherson int vmx_pi_update_irte(struct kvm *kvm, unsigned int host_irq, 1458fccda4SSean Christopherson uint32_t guest_irq, bool set); 15a2486020SMarcelo Tosatti void vmx_pi_start_assignment(struct kvm *kvm); 168888cdd0SXiaoyao Li pi_find_highest_vector(struct pi_desc * pi_desc)17*459403bcSSean Christophersonstatic inline int pi_find_highest_vector(struct pi_desc *pi_desc) 18*459403bcSSean Christopherson { 19*459403bcSSean Christopherson int vec; 20*459403bcSSean Christopherson 21*459403bcSSean Christopherson vec = find_last_bit((unsigned long *)pi_desc->pir, 256); 22*459403bcSSean Christopherson return vec < 256 ? vec : -1; 23*459403bcSSean Christopherson } 24*459403bcSSean Christopherson 258888cdd0SXiaoyao Li #endif /* __KVM_X86_VMX_POSTED_INTR_H */ 26