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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.