2 * This file is part of the Palacios Virtual Machine Monitor developed
3 * by the V3VEE Project with funding from the United States National
4 * Science Foundation and the Department of Energy.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
10 * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
11 * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
12 * All rights reserved.
14 * Author: Jack Lange <jarusl@cs.northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
20 #include <palacios/svm_msr.h>
21 #include <palacios/vmm_msr.h>
23 #include <palacios/vmm_list.h>
26 #define PENTIUM_MSRS_START 0x00000000
27 #define PENTIUM_MSRS_END 0x00001fff
28 #define AMD_6_GEN_MSRS_START 0xc0000000
29 #define AMD_6_GEN_MSRS_END 0xc0001fff
30 #define AMD_7_8_GEN_MSRS_START 0xc0010000
31 #define AMD_7_8_GEN_MSRS_END 0xc0011fff
33 #define PENTIUM_MSRS_INDEX (0x0 * 4)
34 #define AMD_6_GEN_MSRS_INDEX (0x800 * 4)
35 #define AMD_7_8_GEN_MSRS_INDEX (0x1000 * 4)
39 static int get_bitmap_index(uint_t msr) {
40 if ((msr >= PENTIUM_MSRS_START) &&
41 (msr <= PENTIUM_MSRS_END)) {
42 return (PENTIUM_MSRS_INDEX + (msr - PENTIUM_MSRS_START));
43 } else if ((msr >= AMD_6_GEN_MSRS_START) &&
44 (msr <= AMD_6_GEN_MSRS_END)) {
45 return (AMD_6_GEN_MSRS_INDEX + (msr - AMD_6_GEN_MSRS_START));
46 } else if ((msr >= AMD_7_8_GEN_MSRS_START) &&
47 (msr <= AMD_7_8_GEN_MSRS_END)) {
48 return (AMD_7_8_GEN_MSRS_INDEX + (msr - AMD_7_8_GEN_MSRS_START));
50 PrintError("MSR out of range (MSR=0x%x)\n", msr);
57 addr_t v3_init_svm_msr_map(struct guest_info * info) {
58 uchar_t * msr_bitmap = (uchar_t*)V3_VAddr(V3_AllocPages(2));
59 struct v3_msr_map * msr_map = &(info->msr_map);
60 struct v3_msr_hook * hook = NULL;
63 memset(msr_bitmap, 0, PAGE_SIZE * 2);
65 list_for_each_entry(hook, &(msr_map->hook_list), link) {
66 int index = get_bitmap_index(hook->msr);
67 uint_t byte_offset = index / 4;
68 uint_t bit_offset = (index % 4) * 2;
80 val = val << bit_offset;
81 mask = mask << bit_offset;
83 *(msr_bitmap + byte_offset) &= mask;
84 *(msr_bitmap + byte_offset) |= val;
87 return (addr_t)V3_PAddr(msr_bitmap);
92 int v3_handle_msr_write(struct guest_info * info) {
93 uint_t msr_num = info->vm_regs.rcx;
94 struct v3_msr msr_val;
95 struct v3_msr_hook * hook = NULL;
97 hook = v3_get_msr_hook(info, msr_num);
100 PrintError("Hook for MSR write %d not found\n", msr_num);
105 msr_val.lo = info->vm_regs.rax;
106 msr_val.hi = info->vm_regs.rdx;
108 if (hook->write(msr_num, msr_val, hook->priv_data) == -1) {
109 PrintError("Error in MSR hook Write\n");
118 int v3_handle_msr_read(struct guest_info * info) {
119 uint_t msr_num = info->vm_regs.rcx;
120 struct v3_msr msr_val;
121 struct v3_msr_hook * hook = NULL;
123 hook = v3_get_msr_hook(info, msr_num);
126 PrintError("Hook for MSR read %d not found\n", msr_num);
132 if (hook->read(msr_num, &msr_val, hook->priv_data) == -1) {
133 PrintError("Error in MSR hook Read\n");
137 info->vm_regs.rax = msr_val.lo;
138 info->vm_regs.rdx = msr_val.hi;