} else
#endif
{
- PrintError("CPU has no virtualizationExtensions\n");
+ PrintError("CPU has no virtualization Extensions\n");
}
}
}
// Register all the possible device types
- v3_init_devices();
+ V3_init_devices();
// Register all shadow paging handlers
V3_init_shdw_paging();
}
+void Deinit_V3() {
+
+
+}
+
+
v3_cpu_arch_t v3_get_cpu_type(int cpu_id) {
return v3_cpu_types[cpu_id];
}
int i = 0;
// deinitialize guest (free memory, etc...)
- v3_dev_mgr_deinit(vm);
+ v3_free_vm_devices(vm);
+ // free cores
for (i = 0; i < vm->num_cores; i++) {
- // free cores
-
v3_free_core(&(vm->cores[i]));
-
}
+ // free vm
v3_free_vm_internal(vm);
- // free vm
+ v3_free_config(vm);
+
+ V3_Free(vm);
return 0;
}