int v3_init_svm_vmcb(struct guest_info * core, v3_vm_class_t vm_class) {
PrintDebug("Allocating VMCB\n");
- core->vmm_data = (void*)Allocate_VMCB();
+ core->vmm_data = (void *)Allocate_VMCB();
if (core->vmm_data == NULL) {
PrintError("Could not allocate VMCB, Exiting...\n");
int v3_deinit_svm_vmcb(struct guest_info * core) {
- V3_FreePages(core->vmm_data, 1);
+ V3_FreePages(V3_PAddr(core->vmm_data), 1);
return 0;
}
return 0;
}
+
+int v3_free_vm_internal(struct v3_vm_info * vm) {
+
+
+ return 0;
+}
+
+
int v3_init_core(struct guest_info * core) {
v3_cpu_arch_t cpu_type = v3_get_cpu_type(V3_Get_CPU());
struct v3_vm_info * vm = core->vm_info;
-int v3_free_vm_internal(struct v3_vm_info * vm) {
-
-
- return 0;
-}