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>
|
2010-01-21 21:31:48 +08:00
|
|
|
#include "kvm_cache_regs.h"
|
2008-07-03 19:59:22 +08:00
|
|
|
|
|
|
|
static inline void kvm_clear_exception_queue(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
vcpu->arch.exception.pending = false;
|
|
|
|
}
|
|
|
|
|
2009-05-11 18:35:50 +08:00
|
|
|
static inline void kvm_queue_interrupt(struct kvm_vcpu *vcpu, u8 vector,
|
|
|
|
bool soft)
|
2008-07-03 20:17:01 +08:00
|
|
|
{
|
|
|
|
vcpu->arch.interrupt.pending = true;
|
2009-05-11 18:35:50 +08:00
|
|
|
vcpu->arch.interrupt.soft = soft;
|
2008-07-03 20:17:01 +08:00
|
|
|
vcpu->arch.interrupt.nr = vector;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline void kvm_clear_interrupt_queue(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
vcpu->arch.interrupt.pending = false;
|
|
|
|
}
|
|
|
|
|
2009-05-11 18:35:46 +08:00
|
|
|
static inline bool kvm_event_needs_reinjection(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
return vcpu->arch.exception.pending || vcpu->arch.interrupt.pending ||
|
|
|
|
vcpu->arch.nmi_injected;
|
|
|
|
}
|
2009-05-11 18:35:50 +08:00
|
|
|
|
|
|
|
static inline bool kvm_exception_is_soft(unsigned int nr)
|
|
|
|
{
|
|
|
|
return (nr == BP_VECTOR) || (nr == OF_VECTOR);
|
|
|
|
}
|
2009-07-05 22:39:35 +08:00
|
|
|
|
|
|
|
struct kvm_cpuid_entry2 *kvm_find_cpuid_entry(struct kvm_vcpu *vcpu,
|
|
|
|
u32 function, u32 index);
|
|
|
|
|
2010-01-21 21:31:48 +08:00
|
|
|
static inline bool is_protmode(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
return kvm_read_cr0_bits(vcpu, X86_CR0_PE);
|
|
|
|
}
|
|
|
|
|
2010-01-21 21:31:49 +08:00
|
|
|
static inline int is_long_mode(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
#ifdef CONFIG_X86_64
|
2010-01-21 21:31:50 +08:00
|
|
|
return vcpu->arch.efer & EFER_LMA;
|
2010-01-21 21:31:49 +08:00
|
|
|
#else
|
|
|
|
return 0;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline int is_pae(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
return kvm_read_cr4_bits(vcpu, X86_CR4_PAE);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline int is_pse(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
return kvm_read_cr4_bits(vcpu, X86_CR4_PSE);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline int is_paging(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
return kvm_read_cr0_bits(vcpu, X86_CR0_PG);
|
|
|
|
}
|
|
|
|
|
2010-04-19 13:32:45 +08:00
|
|
|
void kvm_before_handle_nmi(struct kvm_vcpu *vcpu);
|
|
|
|
void kvm_after_handle_nmi(struct kvm_vcpu *vcpu);
|
|
|
|
|
2010-08-20 16:07:17 +08:00
|
|
|
void kvm_write_tsc(struct kvm_vcpu *vcpu, u64 data);
|
|
|
|
|
2008-07-03 19:59:22 +08:00
|
|
|
#endif
|