1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __KVM_X86_VMX_POSTED_INTR_H 3 #define __KVM_X86_VMX_POSTED_INTR_H 4 #include <asm/posted_intr.h> 5 6 void vmx_vcpu_pi_load(struct kvm_vcpu *vcpu, int cpu); 7 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu); 8 void pi_wakeup_handler(void); 9 void __init pi_init_cpu(int cpu); 10 bool pi_has_pending_interrupt(struct kvm_vcpu *vcpu); 11 int vmx_pi_update_irte(struct kvm *kvm, unsigned int host_irq, 12 uint32_t guest_irq, bool set); 13 void vmx_pi_start_assignment(struct kvm *kvm); 14 15 #endif /* __KVM_X86_VMX_POSTED_INTR_H */ 16