1 files changed, 6 insertions, 1 deletions
diff --git a/kvm.h b/kvm.h
index d390dae..2ef89c7 100644
--- a/kvm.h
+++ b/kvm.h
@@ -136,7 +136,9 @@ uint32_t kvm_arch_get_supported_cpuid(CPUState *env, uint32_t function,
                                       int reg);
 
 /* generic hooks - to be moved/refactored once there are more users */
-
+#ifdef CONFIG_HAX
+void hax_vcpu_sync_state(CPUState *env, int modified);
+#endif
 static inline void cpu_synchronize_state(CPUState *env, int modified)
 {
     if (kvm_enabled()) {
@@ -145,6 +147,9 @@ static inline void cpu_synchronize_state(CPUState *env, int modified)
         else
             kvm_arch_get_registers(env);
     }
+#ifdef CONFIG_HAX
+    hax_vcpu_sync_state(env, modified);
+#endif
 }
 
 #endif