X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_util.h;h=c6111d2dd1a745c07e72a56dec91b42e2f29811b;hp=80a36c78819fb5a2f0bd06be7684d7c51f9f617b;hb=4f0bb09709fcff0e08aef60c1f0253bbef91f608;hpb=316c417125ed34aaa60f9fc5486a6d8dec4fb361

diff --git a/palacios/include/palacios/vmm_util.h b/palacios/include/palacios/vmm_util.h
index 80a36c7..c6111d2 100644
--- a/palacios/include/palacios/vmm_util.h
+++ b/palacios/include/palacios/vmm_util.h
@@ -36,26 +36,12 @@ typedef union reg_ex {
 
 
 
-// These are the GPRs layed out according to 'pusha'
-struct VMM_GPRs {
-    uint_t edi;
-    uint_t esi;
-    uint_t ebp;
-    uint_t esp;
-    uint_t ebx;
-    uint_t edx;
-    uint_t ecx;
-    uint_t eax;
-};
-
-
 #define GET_LOW_32(x) (*((uint_t*)(&(x))))
 #define GET_HIGH_32(x) (*((uint_t*)(((uchar_t*)(&(x)))+4)))
 
 
-void PrintTraceHex(uchar_t x);
-void PrintTraceLL(ullong_t num);
-void PrintTraceMemDump(uchar_t * start, int n);
+
+void v3_dump_mem(uint8_t * start, int n);
 
 
 
@@ -78,22 +64,6 @@ void PrintTraceMemDump(uchar_t * start, int n);
 	val = tsc;					\
     } while (0)					
 
-/*
-  #if __V3_32BIT__
-
-  #define rdtscll(val)				\
-  __asm__ __volatile__("rdtsc" : "=A" (val))
-
-  #elif __V3_64BIT__
-
-  #define rdtscll(val) do {				    \
-  unsigned int a,d;					    \
-  asm volatile("rdtsc" : "=a" (a), "=d" (d));		    \
-  (val) = ((unsigned long)a) | (((unsigned long)d)<<32);  \
-  } while(0)
-
-  #endif
-*/