|
@@ -70,6 +70,11 @@ static inline int is_paging(struct kvm_vcpu *vcpu)
|
|
|
return kvm_read_cr0_bits(vcpu, X86_CR0_PG);
|
|
|
}
|
|
|
|
|
|
+static inline u32 bit(int bitno)
|
|
|
+{
|
|
|
+ return 1 << (bitno & 31);
|
|
|
+}
|
|
|
+
|
|
|
void kvm_before_handle_nmi(struct kvm_vcpu *vcpu);
|
|
|
void kvm_after_handle_nmi(struct kvm_vcpu *vcpu);
|
|
|
int kvm_inject_realmode_interrupt(struct kvm_vcpu *vcpu, int irq);
|