X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmcs.c;fp=palacios%2Fsrc%2Fpalacios%2Fvmcs.c;h=8fb408072e92c16d53e52a9f1c800a3fc1d875db;hp=1de8e6a8413287b427476f0c9348f74371f1001b;hb=88648ddca6003a438826e7d86e28a2ba7b5bfcac;hpb=c71fc30eb921a0d155d578d609cabdeea9f99d40

diff --git a/palacios/src/palacios/vmcs.c b/palacios/src/palacios/vmcs.c
index 1de8e6a..8fb4080 100644
--- a/palacios/src/palacios/vmcs.c
+++ b/palacios/src/palacios/vmcs.c
@@ -489,8 +489,16 @@ int v3_update_vmcs_host_state(struct guest_info * info) {
 
 
     // save STAR, LSTAR, FMASK, KERNEL_GS_BASE MSRs in MSR load/store area
+    {
+	struct vmx_data * vmx_state = (struct vmx_data *)info->vmm_data;
+	struct vmcs_msr_save_area * msr_entries = vmx_state->msr_area;
 
     
+	v3_get_msr(IA32_STAR_MSR, &(msr_entries->host_star.hi), &(msr_entries->host_star.lo));
+	v3_get_msr(IA32_LSTAR_MSR, &(msr_entries->host_lstar.hi), &(msr_entries->host_lstar.lo));
+	v3_get_msr(IA32_FMASK_MSR, &(msr_entries->host_fmask.hi), &(msr_entries->host_fmask.lo));
+	v3_get_msr(IA32_KERN_GS_BASE_MSR, &(msr_entries->host_kern_gs.hi), &(msr_entries->host_kern_gs.lo));
+    }