added GS.BASE save/restore

[palacios.git] / palacios / src / palacios / svm_lowlevel.S

diff --git a/palacios/src/palacios/svm_lowlevel.S b/palacios/src/palacios/svm_lowlevel.S
index e01f069..1e36bc9 100644 (file)
--- a/palacios/src/palacios/svm_lowlevel.S
+++ b/palacios/src/palacios/svm_lowlevel.S
@@ -139,6 +139,9 @@ v3_svm_launch:
        push    %gs;
        PUSHA
 
+       
+       
+
 
        pushq %rsi
 
@@ -146,18 +149,21 @@ v3_svm_launch:
        Restore_SVM_Registers(%rsi);
 
 
-
+       
 
        vmload;
        vmrun;
        vmsave;
 
 
-       
        Save_SVM_Registers(8(%rsp));
 
        addq $8, %rsp
 
+
+
+
+
        POPA
        pop     %gs;
        pop     %fs;