vs_types.h

cache test for arm920 core

//==================================================================
// 
//  FILE:           types.h
//
//  DESCRIPTION:    VeriSuite types definition
//
//  Copyright Cirrus Logic Corporation, 2001.  All rights reserved
//
//==================================================================
#ifndef _VS_TYPES_H_
#define _VS_TYPES_H_

#define INVALID_HANDLE  ((HANDLE)(-1))
typedef void *          HANDLE;

#define UNALIGNED       __packed
#define __cdecl
#define _cdecl
#define _inline         __inline

#define TRUE            1
#define FALSE           0

// Width is 8 bits:
typedef char            BYTE;
typedef char            byte;
typedef unsigned char   UCHAR;

// Width is 16 bits:
typedef unsigned short  WORD;
typedef unsigned short  USHORT;
typedef unsigned short  UINT16;

//
// Width is 32 bits:
// Note that the compiler treats 'long' as different from 'int' even though
// they are the same width.  So we no longer use 'long'.
//
typedef int             INT;
typedef int             INT32;
typedef int             BOOL;
typedef unsigned int    UINT;
typedef unsigned int    UINT32;
typedef unsigned int    WPARAM;

typedef int             LONG;
typedef int             LPARAM;
typedef int             LRESULT;
typedef unsigned int    DWORD;
typedef unsigned int    ULONG;

// Width is 64 bits:
typedef unsigned __int64	ULONGLONG;

// Pointer to type:
typedef void *          PVOID;
typedef unsigned char * PUCHAR;
typedef BYTE *          PBYTE;
typedef USHORT *        PUSHORT;
typedef WORD *          PWORD;

#define INVALID_HANDLE  ((HANDLE)(-1))

#define TRUE                1
#define FALSE               0

#define VS_NOERROR          0
#define VS_ERROR            1

#endif // _VS_TYPES_H_