X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmcs.c;h=2a4ef976c3fa729567671f839ef9c0f23d65f57b;hp=99850a8b8606cda212b74abef175f4c276701da2;hb=f9bb3db89469169bb5775dc031d89e570c6fed70;hpb=079f5cbdb29df4d0d48e830b2e214e5b8d73f018 diff --git a/palacios/src/palacios/vmcs.c b/palacios/src/palacios/vmcs.c index 99850a8..2a4ef97 100644 --- a/palacios/src/palacios/vmcs.c +++ b/palacios/src/palacios/vmcs.c @@ -1,7 +1,7 @@ -#include - - +/* Northwestern University */ +/* (c) 2008, Jack Lange */ +#include