2 * This file is part of the Palacios Virtual Machine Monitor developed
3 * by the V3VEE Project with funding from the United States National
4 * Science Foundation and the Department of Energy.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
10 * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
11 * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
12 * All rights reserved.
14 * Author: Jack Lange <jarusl@cs.northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
26 #include <palacios/vmm.h>
29 uint_t breakpoint : 32;
41 uint_t rsvd1 : 8; // read as ones
42 uint_t rsvd2 : 1; // read as zero
46 uint_t rsvd3 : 16; // read as one
55 uint_t rsvd1 : 8; // read as ones
56 uint_t rsvd2 : 1; // read as zero
60 uint_t rsvd3 : 16; // read as one
61 uint_t rsvd4 : 32; // MBZ
76 uint_t rsvd1 : 1; // Read as one
77 uint_t rsvd2 : 2; // Read as zero
79 uint_t rsvd3 : 2; // Read as zero
102 uint_t rsvd1 : 1; // Read as one
103 uint_t rsvd2 : 2; // Read as zero
105 uint_t rsvd3 : 2; // Read as zero
114 uint_t rsvd4 : 32; // MBZ
122 void PrintDebugHex(unsigned char x);
123 void PrintDebugMemDump(unsigned char *start, int n);