run.h

< 虚拟机设计与实现> 的source code, linux版本

/*+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+                                                                   +
+  run      - execution engine                                      +
+                                                                   +
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*/

#ifndef _RUN_H
#define _RUN_H

#include "common.h"
#include "error.h"
#include "exenv.h"
#include "iset.h"

#ifdef OS_WIN
#include "win32.h"
#else
#include "linux.h"
#endif

//#define DBG_RUN		1

#ifdef DBG_RUN
#define DBG_RUN0(str);				printf("run(): "); printf(str);
#define DBG_RUN1(str,arg1);			printf("run(): "); printf(str,arg1);
#else
#define DBG_RUN0(str);
#define DBG_RUN1(str,arg1);				
#endif	

void runHEC(U1 dbg);

#endif