#include <palacios/vmm_types.h>
#include <palacios/vmm_list.h>
+#define IA32_PAT_MSR 0x277
#define SYSENTER_CS_MSR 0x00000174
#define SYSENTER_ESP_MSR 0x00000175
#define SYSENTER_EIP_MSR 0x00000176
void * priv_data);
+int v3_msr_unhandled_read(struct guest_info * core, uint32_t msr, struct v3_msr * dst, void * priv_data);
+int v3_msr_unhandled_write(struct guest_info * core, uint32_t msr, struct v3_msr src, void * priv_data);
+
struct v3_msr_hook * v3_get_msr_hook(struct v3_vm_info * vm, uint32_t msr);
void v3_refresh_msr_map(struct v3_vm_info * vm);
void v3_print_msr_map(struct v3_vm_info * vm);
int v3_handle_msr_write(struct guest_info * info);
-
int v3_handle_msr_read(struct guest_info * info);