|
@@ -439,6 +439,7 @@ void mark_page_dirty_in_slot(struct kvm *kvm, struct kvm_memory_slot *memslot,
|
|
|
gfn_t gfn);
|
|
|
|
|
|
void kvm_vcpu_block(struct kvm_vcpu *vcpu);
|
|
|
+void kvm_vcpu_kick(struct kvm_vcpu *vcpu);
|
|
|
void kvm_vcpu_on_spin(struct kvm_vcpu *vcpu);
|
|
|
void kvm_resched(struct kvm_vcpu *vcpu);
|
|
|
void kvm_load_guest_fpu(struct kvm_vcpu *vcpu);
|
|
@@ -507,6 +508,7 @@ int kvm_arch_hardware_setup(void);
|
|
|
void kvm_arch_hardware_unsetup(void);
|
|
|
void kvm_arch_check_processor_compat(void *rtn);
|
|
|
int kvm_arch_vcpu_runnable(struct kvm_vcpu *vcpu);
|
|
|
+int kvm_arch_vcpu_should_kick(struct kvm_vcpu *vcpu);
|
|
|
|
|
|
void kvm_free_physmem(struct kvm *kvm);
|
|
|
|
|
@@ -522,6 +524,13 @@ static inline void kvm_arch_free_vm(struct kvm *kvm)
|
|
|
}
|
|
|
#endif
|
|
|
|
|
|
+#ifndef __KVM_HAVE_ARCH_VCPU_GET_WQ
|
|
|
+static inline wait_queue_head_t *kvm_arch_vcpu_wq(struct kvm_vcpu *vcpu)
|
|
|
+{
|
|
|
+ return &vcpu->wq;
|
|
|
+}
|
|
|
+#endif
|
|
|
+
|
|
|
int kvm_arch_init_vm(struct kvm *kvm, unsigned long type);
|
|
|
void kvm_arch_destroy_vm(struct kvm *kvm);
|
|
|
void kvm_free_all_assigned_devices(struct kvm *kvm);
|