diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2012-11-07 11:23:03 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2012-11-07 15:19:21 +0100 |
commit | 2195fd27a7fa982da7cb4f131e399f04a0ed0da1 (patch) | |
tree | 85e4a1abb846233ef0e6819446cc146dedd0ee8e /cpukit/score/src | |
parent | sapi: Fix user scheduler configuration (diff) | |
download | rtems-2195fd27a7fa982da7cb4f131e399f04a0ed0da1.tar.bz2 |
sapi: Make initial user extensions table read-only
Diffstat (limited to 'cpukit/score/src')
-rw-r--r-- | cpukit/score/src/userext.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/cpukit/score/src/userext.c b/cpukit/score/src/userext.c index 55754842ec..4b81daa4ea 100644 --- a/cpukit/score/src/userext.c +++ b/cpukit/score/src/userext.c @@ -27,10 +27,10 @@ void _User_extensions_Handler_initialization(void) { - User_extensions_Control *extension; - uint32_t i; - uint32_t number_of_extensions; - User_extensions_Table *initial_extensions; + User_extensions_Control *extension; + uint32_t i; + uint32_t number_of_extensions; + const User_extensions_Table *initial_extensions; number_of_extensions = rtems_configuration_get_number_of_initial_extensions(); initial_extensions = rtems_configuration_get_user_extension_table(); |