diff options
Diffstat (limited to 'cpukit/score/cpu/no_cpu')
| -rw-r--r-- | cpukit/score/cpu/no_cpu/rtems/score/types.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/cpukit/score/cpu/no_cpu/rtems/score/types.h b/cpukit/score/cpu/no_cpu/rtems/score/types.h index 94a93c2586..b330c33904 100644 --- a/cpukit/score/cpu/no_cpu/rtems/score/types.h +++ b/cpukit/score/cpu/no_cpu/rtems/score/types.h @@ -34,9 +34,6 @@ extern "C" { /** Type that can store a 32-bit integer or a pointer. */ typedef uintptr_t CPU_Uint32ptr; -/** This defines the type for a priority bit map entry. */ -typedef uint16_t Priority_bit_map_Word; - #ifdef __cplusplus } #endif |