X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_util.c;h=950d08577057b7e30461f87e974ae56374fdb859;hb=db45b5a19f672956e8875a116b06d7ed44c9258c;hp=77440e50497c9ca999608797a82f4d9009d1e442;hpb=a109eb919a162bd7de58d62020801bc2e633be50;p=palacios.git

diff --git a/palacios/src/palacios/vmm_util.c b/palacios/src/palacios/vmm_util.c
index 77440e5..950d085 100644
--- a/palacios/src/palacios/vmm_util.c
+++ b/palacios/src/palacios/vmm_util.c
@@ -1,3 +1,7 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+
 #include <palacios/vmm_util.h>
 
 #include <palacios/vmm.h>
@@ -8,12 +12,21 @@ extern struct vmm_os_hooks * os_hooks;
 void PrintTraceHex(unsigned char x) {
   unsigned char z;
   
-  z = (x >> 4) & 0xf ;
+  z = (x >> 4) & 0xf;
   PrintTrace("%x", z);
   z = x & 0xf;
   PrintTrace("%x", z);
 }
 
+void PrintTraceLL(ullong_t num) {
+  unsigned char * z = (unsigned char *)&num;
+  int i;
+  
+  for (i = 7; i >= 0; i--) {
+    PrintTraceHex(*(z + i));
+  }
+}
+
 
 void PrintTraceMemDump(unsigned char *start, int n)
 {