X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_pause.c;h=9c052cda81716a6845c033521b3f211802cdb4fc;hp=a6fadca50d7ea1347da03e23e8bd2e9a06ff8dd1;hb=56f8088296ee4116a4811a2f4f843edd80a7748d;hpb=f9bb3db89469169bb5775dc031d89e570c6fed70 diff --git a/palacios/src/palacios/svm_pause.c b/palacios/src/palacios/svm_pause.c index a6fadca..9c052cd 100644 --- a/palacios/src/palacios/svm_pause.c +++ b/palacios/src/palacios/svm_pause.c @@ -1,3 +1,6 @@ +/* (c) 2008, Peter Dinda */ +/* (c) 2008, The V3VEE Project */ + #include #include