/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */

#ifndef __VMM_XED_H__
#define __VMM_XED_H__

#ifdef __V3VEE__



#endif // ! __V3VEE__

#endif