On 9/18/23 09:02, Philippe Mathieu-Daudé wrote:
+++ b/hw/core/cpu-common.c @@ -224,6 +224,11 @@ static void cpu_common_unrealizefn(DeviceState *dev)/* Destroy vCPU thread */cpu_remove_sync(cpu); + + /* Destroy CPU address space */ + for (unsigned idx = 0; idx < cpu->num_ases; idx++) { + cpu_address_space_destroy(cpu, idx); + }
Merged with the previous patch, with the single call. r~