X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_wbinvd.c;h=abee782c218b530d3fef21ddeaac357ac0003330;hb=56f8088296ee4116a4811a2f4f843edd80a7748d;hp=06d4dc1ef718764a9131202082a6a1e23399cb37;hpb=851cedf7660970f7af19bffb63b1ba1d70f77e3e;p=palacios.git diff --git a/palacios/src/palacios/svm_wbinvd.c b/palacios/src/palacios/svm_wbinvd.c index 06d4dc1..abee782 100644 --- a/palacios/src/palacios/svm_wbinvd.c +++ b/palacios/src/palacios/svm_wbinvd.c @@ -1,3 +1,6 @@ +/* (c) 2008, Peter Dinda */ +/* (c) 2008, The V3VEE Project */ + #include #include