|
@@ -700,6 +700,20 @@ static inline wait_queue_head_t *kvm_arch_vcpu_wq(struct kvm_vcpu *vcpu)
|
|
|
#endif
|
|
|
}
|
|
|
|
|
|
+#ifdef __KVM_HAVE_ARCH_INTC_INITIALIZED
|
|
|
+/*
|
|
|
+ * returns true if the virtual interrupt controller is initialized and
|
|
|
+ * ready to accept virtual IRQ. On some architectures the virtual interrupt
|
|
|
+ * controller is dynamically instantiated and this is not always true.
|
|
|
+ */
|
|
|
+bool kvm_arch_intc_initialized(struct kvm *kvm);
|
|
|
+#else
|
|
|
+static inline bool kvm_arch_intc_initialized(struct kvm *kvm)
|
|
|
+{
|
|
|
+ return true;
|
|
|
+}
|
|
|
+#endif
|
|
|
+
|
|
|
int kvm_arch_init_vm(struct kvm *kvm, unsigned long type);
|
|
|
void kvm_arch_destroy_vm(struct kvm *kvm);
|
|
|
void kvm_arch_sync_events(struct kvm *kvm);
|