/*
 *  VXtypes.h
 *
 *  wrapper for vxWorks 5.1 types.h so that it defines the
 *  needed values for this code.
 */
#ifndef _VXtypes_h
#define _VXtypes_h

#include "vxWorks.h"
#include "types.h"

#endif