X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmcs_gen.h;h=7c1a1c8683cb99b663a6653e6f1df8adff156dc6;hb=master;hp=a78990bf9975a25883d7b94723a18804afea7a87;hpb=e70e95962c26832628d586e07f9cd1a2e1852d72;p=palacios.git diff --git a/palacios/include/palacios/vmcs_gen.h b/palacios/include/palacios/vmcs_gen.h index a78990b..7c1a1c8 100644 --- a/palacios/include/palacios/vmcs_gen.h +++ b/palacios/include/palacios/vmcs_gen.h @@ -806,4 +806,3 @@ void PrintTrace_VMCS_ALL(); #endif -