diff options
Diffstat (limited to 'cpukit/libtrace/record/record.c')
-rw-r--r-- | cpukit/libtrace/record/record.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/cpukit/libtrace/record/record.c b/cpukit/libtrace/record/record.c index 33b770badd..f12e78dc9f 100644 --- a/cpukit/libtrace/record/record.c +++ b/cpukit/libtrace/record/record.c @@ -35,6 +35,15 @@ #include <string.h> +RTEMS_STATIC_ASSERT( RTEMS_RECORD_USER_0 == 512, RTEMS_RECORD_USER_0 ); + +RTEMS_STATIC_ASSERT( RTEMS_RECORD_LAST == 1023, RTEMS_RECORD_LAST ); + +RTEMS_STATIC_ASSERT( + RTEMS_RECORD_LAST + 1 == ( 1 << RTEMS_RECORD_EVENT_BITS ), + RTEMS_RECORD_EVENT_BITS +); + void rtems_record_produce( rtems_record_event event, rtems_record_data data ) { rtems_record_context context; |