/*
********************************************************************
  Copyright (c) 2011, Silicon Image, Inc.  All rights reserved.
  No part of this work may be reproduced, modified, distributed, transmitted,
  transcribed, or translated into any language or computer format, in any form
  or by any means without written permission of: Silicon Image, Inc.,
  1060 East Arques Avenue, Sunnyvale, California 94085
******************************************************************
*/
#if !defined __SI_C99SUPPORT_H__
#define __SI_C99SUPPORT_H__

#include "si_datatypes.h"

/* C99 defined data types.  */

#ifndef __linux__
typedef unsigned char  uint8_t;
typedef unsigned short uint16_t;
typedef unsigned long  uint32_t;

typedef signed char    int8_t;
typedef signed short   int16_t;
typedef signed long    int32_t;

//typedef uint8_t UINT8;
#endif




#endif


//typedef char BOOL;

