/* * This file is part of the Palacios Virtual Machine Monitor developed * by the V3VEE Project with funding from the United States National * Science Foundation and the Department of Energy. * * The V3VEE Project is a joint project between Northwestern University * and the University of New Mexico. You can find out more at * http://www.v3vee.org * * Copyright (c) 2008, Jack Lange * Copyright (c) 2008, The V3VEE Project * All rights reserved. * * Author: Jack Lange * * This is free software. You are permitted to use, * redistribute, and modify it as specified in the file "V3VEE_LICENSE". */ #include #include void PrintDebugHex(unsigned char x) { unsigned char z; z = (x>>4) & 0xf ; PrintDebug("%x", z); z = x & 0xf; PrintDebug("%x", z); } void PrintDebugMemDump(unsigned char *start, int n) { int i, j; for (i=0;i=32) && (start[j]<=126)) ? start[j] : '.'); } PrintDebug("\n"); } }