diff options
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(); |