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