|
@@ -348,6 +348,7 @@ int kvm_physical_memory_addr_from_host(KVMState *s, void *ram_addr,
|
|
|
void kvm_cpu_synchronize_state(CPUState *cpu);
|
|
|
void kvm_cpu_synchronize_post_reset(CPUState *cpu);
|
|
|
void kvm_cpu_synchronize_post_init(CPUState *cpu);
|
|
|
+void kvm_cpu_clean_state(CPUState *cpu);
|
|
|
|
|
|
/* generic hooks - to be moved/refactored once there are more users */
|
|
|
|
|
@@ -372,6 +373,13 @@ static inline void cpu_synchronize_post_init(CPUState *cpu)
|
|
|
}
|
|
|
}
|
|
|
|
|
|
+static inline void cpu_clean_state(CPUState *cpu)
|
|
|
+{
|
|
|
+ if (kvm_enabled()) {
|
|
|
+ kvm_cpu_clean_state(cpu);
|
|
|
+ }
|
|
|
+}
|
|
|
+
|
|
|
int kvm_irqchip_add_msi_route(KVMState *s, MSIMessage msg);
|
|
|
int kvm_irqchip_update_msi_route(KVMState *s, int virq, MSIMessage msg);
|
|
|
void kvm_irqchip_release_virq(KVMState *s, int virq);
|