VMX is working for a 32-bit Linux kernel. It should also work for a 64-bit kernel...

[palacios.git] / palacios / src / palacios / svm_msr.c

diff --git a/palacios/src/palacios/svm_msr.c b/palacios/src/palacios/svm_msr.c
index dcc653e..8e59658 100644 (file)
--- a/palacios/src/palacios/svm_msr.c
+++ b/palacios/src/palacios/svm_msr.c
@@ -88,54 +88,3 @@ int v3_init_svm_msr_map(struct guest_info * info) {
 }
 
 
-
-int v3_handle_msr_write(struct guest_info * info) {
-    uint_t msr_num = info->vm_regs.rcx;
-    struct v3_msr msr_val;
-    struct v3_msr_hook * hook = NULL;
-
-    hook = v3_get_msr_hook(info, msr_num);
-
-    if (!hook) {
-       PrintError("Hook for MSR write %d not found\n", msr_num);
-       return -1;
-    }
-
-    msr_val.value = 0;
-    msr_val.lo = info->vm_regs.rax;
-    msr_val.hi = info->vm_regs.rdx;
-
-    if (hook->write(msr_num, msr_val, hook->priv_data) == -1) {
-       PrintError("Error in MSR hook Write\n");
-       return -1;
-    }
-
-    return 0;
-}
-
-
-
-int v3_handle_msr_read(struct guest_info * info) {
-    uint_t msr_num = info->vm_regs.rcx;
-    struct v3_msr msr_val;
-    struct v3_msr_hook * hook = NULL;
-
-    hook = v3_get_msr_hook(info, msr_num);
-
-    if (!hook) {
-       PrintError("Hook for MSR read %d not found\n", msr_num);
-       return -1;
-    }
-
-    msr_val.value = 0;
-  
-    if (hook->read(msr_num, &msr_val, hook->priv_data) == -1) {
-       PrintError("Error in MSR hook Read\n");
-       return -1;
-    }
-
-    info->vm_regs.rax = msr_val.lo;
-    info->vm_regs.rdx = msr_val.hi;
-  
-    return 0;
-}