3 * This file is part of the Palacios Virtual Machine Monitor developed
4 * by the V3VEE Project with funding from the United States National
5 * Science Foundation and the Department of Energy.
7 * The V3VEE Project is a joint project between Northwestern University
8 * and the University of New Mexico. You can find out more at
11 * Copyright (c) 2011, Lei Xia <lxia@northwestern.edu>
12 * Copyright (c) 2011, The V3VEE Project <http://www.v3vee.org>
13 * All rights reserved.
15 * Author: Lei Xia <lxia@northwestern.edu>
17 * This is free software. You are permitted to use,
18 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
21 #ifndef __VNET_BASE_H__
22 #define __VNET_BASE_H__
26 typedef unsigned char uchar_t;
27 typedef unsigned int uint_t;
28 typedef unsigned long long ullong_t;
29 typedef unsigned long ulong_t;
30 typedef ulong_t addr_t;