#ifndef __VMM_DEBUG_H #define __VMM_DEBUG_H void PrintDebugHex(unsigned char x); void PrintDebugMemDump(unsigned char *start, int n); #endif