#include <palacios/svm_msr.h>
#include <palacios/vmm_msr.h>
-
+#include <palacios/vmm_sprintf.h>
#include <palacios/vmm_list.h>
-
+#include <palacios/vm_guest.h>
#define PENTIUM_MSRS_START 0x00000000
#define PENTIUM_MSRS_END 0x00001fff
#define AMD_7_8_GEN_MSRS_START 0xc0010000
#define AMD_7_8_GEN_MSRS_END 0xc0011fff
-#define PENTIUM_MSRS_INDEX (0x0 * 4)
-#define AMD_6_GEN_MSRS_INDEX (0x800 * 4)
-#define AMD_7_8_GEN_MSRS_INDEX (0x1000 * 4)
+#define PENTIUM_MSRS_INDEX (0)
+#define AMD_6_GEN_MSRS_INDEX (0x2000)
+#define AMD_7_8_GEN_MSRS_INDEX (0x4000)
*(bitmap + major) &= ~(mask << minor);
*(bitmap + major) |= (val << minor);
-
+
return 0;
}
msr_map->arch_data = V3_VAddr(V3_AllocPages(2));
memset(msr_map->arch_data, 0, PAGE_SIZE_4KB * 2);
+ v3_refresh_msr_map(info);
+
return 0;
}