reformat.h

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

/*+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+                                                                   +
+  reformat      - implements the verification stage                +
+                                                                   +
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*/

#ifndef _REFORMAT_H
#define _REFORMAT_H

#include <stdio.h>

#include "common.h"
#include "error.h"

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

//#define DBG_FMT		1

#ifdef DBG_FMT
#define DBG_FMT0(str);				printf("reformat(): "); printf(str);
#define DBG_FMT1(str,arg1);			printf("reformat(): "); printf(str,arg1);
#define DBG_FMT2(str,arg1,arg2);	printf("reformat(): "); printf(str,arg1,arg2);
#define DBG_FMT_PU8(str,arg);		printf("reformat(): "); printf(str); pU8(arg); printf("\n\n");
#define DBG_FMT_PS8(str,arg);		printf("reformat(): "); printf(str); pS8(arg); printf("\n\n");		
#else
#define DBG_FMT0(str);
#define DBG_FMT1(str,arg1);
#define DBG_FMT2(str,arg1,arg2); 
#define DBG_FMT_PU8(str,arg);
#define DBG_FMT_PS8(str,arg);
#endif	

U1 reformat();

#endif