X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_lowlevel.S;fp=palacios%2Fsrc%2Fpalacios%2Fsvm_lowlevel.S;h=1e36bc9e7bc59a433570e069cb326cd6497700a4;hb=a6abc36ea941eb0f63783eb077d4073c8773719d;hp=e01f069e58f5903461a2ed4f9b858a1c10dd84e3;hpb=269e1697dc66453d0d8b31da5bf27e013856b57d;p=palacios.git

diff --git a/palacios/src/palacios/svm_lowlevel.S b/palacios/src/palacios/svm_lowlevel.S
index e01f069..1e36bc9 100644
--- 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;