X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=8bdf0c0dcf985b562cc04db8f8b28c9388fe7a61;hb=f4b074d9bf5c28dfd6e5fd616805ade2e9473b01;hp=bb1afbbe2e9e67fb93b16b95c5b671708d89a7aa;hpb=4b93282ac2e60cd4d74b1e0be8ac758933140413;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index bb1afbb..8bdf0c0 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -1,3 +1,6 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __VM_GUEST_H
 #define __VM_GUEST_H
 
@@ -139,6 +142,10 @@ struct guest_info {
 
   vm_operating_mode_t run_state;
   void * vmm_data;
+
+  /* TEMP */
+  //ullong_t exit_tsc;
+
 };
 
 
@@ -150,7 +157,7 @@ void PrintV3Segments(struct guest_info * info);
 void PrintV3CtrlRegs(struct guest_info * info);
 void PrintV3GPRs(struct guest_info * info);
 
-#endif
+#endif // ! __V3VEE__