X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_ctrl_regs.c;h=26272cc9cbf2170acec41b9fb1d893eb4e8f3405;hb=856dabe4e139e3b42e2956f85e562aa922d66f2e;hp=39303aa18a1beada4eeeea2580985fe5504bae8b;hpb=7246e098eaeb10934569dd4c6ef12753a1637351;p=palacios.git diff --git a/palacios/src/palacios/vmm_ctrl_regs.c b/palacios/src/palacios/vmm_ctrl_regs.c index 39303aa..26272cc 100644 --- a/palacios/src/palacios/vmm_ctrl_regs.c +++ b/palacios/src/palacios/vmm_ctrl_regs.c @@ -1,3 +1,7 @@ +/* (c) 2008, Jack Lange */ +/* (c) 2008, The V3VEE Project */ + + #include #include #include