@@ -96,6 +96,12 @@ void accel_cpu_instance_init(CPUState *cpu);
*/
bool accel_cpu_common_realize(CPUState *cpu, Error **errp);
+/**
+ * accel_cpu_common_unrealize:
+ * @cpu: The CPU that needs to call accel-specific cpu unrealization.
+ */
+void accel_cpu_common_unrealize(CPUState *cpu);
+
/**
* accel_supported_gdbstub_sstep_flags:
*
@@ -129,6 +129,10 @@ bool accel_cpu_common_realize(CPUState *cpu, Error **errp)
return true;
}
+void accel_cpu_common_unrealize(CPUState *cpu)
+{
+}
+
int accel_supported_gdbstub_sstep_flags(void)
{
AccelState *accel = current_accel();
@@ -187,8 +187,10 @@ void cpu_exec_unrealizefn(CPUState *cpu)
cpu_list_remove(cpu);
/*
* Now that the vCPU has been removed from the RCU list, we can call
- * tcg_exec_unrealizefn, which may free fields using call_rcu.
+ * tcg_exec_unrealizefn and
+ * accel_cpu_common_unrealize, which may free fields using call_rcu.
*/
+ accel_cpu_common_unrealize(cpu);
if (tcg_enabled()) {
tcg_exec_unrealizefn(cpu);
}