#if defined(HEADER_WARNING_DUPLICATE) /* mips/csb350/rtems/score/types.h */
#warning "This header should not be included directly. (duplicate)"
#endif

#include <mips/csb350/rtems/score/types.h>