diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2015-03-17 08:30:40 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2015-03-17 08:30:40 +0100 |
| commit | 3e3684ba596dc37d532cbe1f4be6d1e1b72b4d26 (patch) | |
| tree | 021d5ab80b2d8b0f66b2487bb4ecde7d02358b80 /cpukit/score/src/percpu.c | |
| parent | cpukit: add and use CPU_Uint32ptr type (diff) | |
| download | rtems-3e3684ba596dc37d532cbe1f4be6d1e1b72b4d26.tar.bz2 | |
score: Ensure properties of CPU_Uint32ptr
Diffstat (limited to 'cpukit/score/src/percpu.c')
| -rw-r--r-- | cpukit/score/src/percpu.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/cpukit/score/src/percpu.c b/cpukit/score/src/percpu.c index 91e92bead0..730528ae4c 100644 --- a/cpukit/score/src/percpu.c +++ b/cpukit/score/src/percpu.c @@ -23,6 +23,16 @@ #include <rtems/score/smpimpl.h> #include <rtems/config.h> +RTEMS_STATIC_ASSERT( + sizeof( CPU_Uint32ptr ) >= sizeof( uintptr_t ), + CPU_Uint32ptr_greater_equal_uintptr_t +); + +RTEMS_STATIC_ASSERT( + sizeof( CPU_Uint32ptr ) >= sizeof( uint32_t ), + CPU_Uint32ptr_greater_equal_uint32_t +); + #if defined(RTEMS_SMP) static SMP_lock_Control _Per_CPU_State_lock = |