X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=041b75509547ee8531e1fbff975c31c8c6ff8035;hb=b1f2d60bdd24fb6f758ad049c0a6859966a38955;hp=f918da681e85844b85a80fd3919063447d3d8d28;hpb=262c92c9f620f87500f350b4744d2f31b6de7da5;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index f918da6..041b755 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -41,10 +41,6 @@
 #endif
 
 
-
-
-
-
 #ifdef CONFIG_SYMBIOTIC
 #include <palacios/vmm_symbiotic.h>
 struct v3_sym_core_state;
@@ -52,14 +48,12 @@ struct v3_sym_core_state;
 
 #include <palacios/vmm_config.h>
 
-
 struct v3_intr_state;
 
 
 
 
 
-
 struct guest_info {
     uint64_t rip;