X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmcs_fields.asm;h=9661a4ccd0b977e4e841175f504a7abc0075154e;hb=6eecf583b522147ef13faabb634562f6f23bb712;hp=f354cf1c8e92341486102fff12b2a94b811d4004;hpb=a109eb919a162bd7de58d62020801bc2e633be50;p=palacios.git diff --git a/palacios/src/palacios/vmcs_fields.asm b/palacios/src/palacios/vmcs_fields.asm index f354cf1..9661a4c 100644 --- a/palacios/src/palacios/vmcs_fields.asm +++ b/palacios/src/palacios/vmcs_fields.asm @@ -1,3 +1,8 @@ +;; (c) 2008, Peter Dinda +;; (c) 2008, Jack Lange +;; (c) 2008, The V3VEE Project + + %ifndef VMCS_FIELDS_ASM %define VMCS_FIELDS_ASM