|
@@ -1044,6 +1044,8 @@ int kvm_cpu_has_interrupt(struct kvm_vcpu *vcpu);
|
|
int kvm_arch_interrupt_allowed(struct kvm_vcpu *vcpu);
|
|
int kvm_arch_interrupt_allowed(struct kvm_vcpu *vcpu);
|
|
int kvm_cpu_get_interrupt(struct kvm_vcpu *v);
|
|
int kvm_cpu_get_interrupt(struct kvm_vcpu *v);
|
|
void kvm_vcpu_reset(struct kvm_vcpu *vcpu);
|
|
void kvm_vcpu_reset(struct kvm_vcpu *vcpu);
|
|
|
|
+void kvm_arch_mmu_notifier_invalidate_page(struct kvm *kvm,
|
|
|
|
+ unsigned long address);
|
|
|
|
|
|
void kvm_define_shared_msr(unsigned index, u32 msr);
|
|
void kvm_define_shared_msr(unsigned index, u32 msr);
|
|
void kvm_set_shared_msr(unsigned index, u64 val, u64 mask);
|
|
void kvm_set_shared_msr(unsigned index, u64 val, u64 mask);
|