X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;fp=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=36d58dd1fa4761a2b03245ab7732fe657f94c42c;hp=c577a7df6cc87740eb45049f59cf513c01a22b0f;hb=6dee811714540921f73487de80e069decb80c602;hpb=eb374e3056008d7be7119e2217f1ab1802f444d2

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index c577a7d..36d58dd 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -220,8 +220,6 @@ static void Init_VMCB_BIOS(vmcb_t * vmcb, struct guest_info *vm_info) {
 
 	ctrl_area->exceptions.pf = 1;
 
-
-
 	guest_state->g_pat = 0x7040600070406ULL;
 
 	guest_state->cr0 |= 0x80000000;