#ifndef __VMM_UTIL_H
#define __VMM_UTIL_H

#include <geekos/vmm.h>



void PrintTraceHex(unsigned char x);

void PrintTraceMemDump(unsigned char * start, int n);



#endif