From 3e3684ba596dc37d532cbe1f4be6d1e1b72b4d26 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Tue, 17 Mar 2015 08:30:40 +0100
Subject: [PATCH] score: Ensure properties of CPU_Uint32ptr

---
 cpukit/score/src/percpu.c | 10 ++++++++++
 1 file changed, 10 insertions(+)

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 =