2008-07-03 19:59:22 +08:00
|
|
|
#ifndef ARCH_X86_KVM_X86_H
|
|
|
|
#define ARCH_X86_KVM_X86_H
|
|
|
|
|
|
|
|
#include <linux/kvm_host.h>
|
|
|
|
|
|
|
|
static inline void kvm_clear_exception_queue(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
vcpu->arch.exception.pending = false;
|
|
|
|
}
|
|
|
|
|
2008-07-03 20:17:01 +08:00
|
|
|
static inline void kvm_queue_interrupt(struct kvm_vcpu *vcpu, u8 vector)
|
|
|
|
{
|
|
|
|
vcpu->arch.interrupt.pending = true;
|
|
|
|
vcpu->arch.interrupt.nr = vector;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline void kvm_clear_interrupt_queue(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
vcpu->arch.interrupt.pending = false;
|
|
|
|
}
|
|
|
|
|
2009-03-23 17:23:18 +08:00
|
|
|
static inline u8 kvm_pop_irq(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
int word_index = __ffs(vcpu->arch.irq_summary);
|
|
|
|
int bit_index = __ffs(vcpu->arch.irq_pending[word_index]);
|
|
|
|
int irq = word_index * BITS_PER_LONG + bit_index;
|
|
|
|
|
|
|
|
clear_bit(bit_index, &vcpu->arch.irq_pending[word_index]);
|
|
|
|
if (!vcpu->arch.irq_pending[word_index])
|
|
|
|
clear_bit(word_index, &vcpu->arch.irq_summary);
|
|
|
|
return irq;
|
|
|
|
}
|
2008-07-03 19:59:22 +08:00
|
|
|
#endif
|