3 files changed, 3 insertions, 9 deletions
diff --git a/c/src/libmisc/cpuuse/cpuuse.c b/c/src/libmisc/cpuuse/cpuuse.c
index be2bc1be87..e451318575 100644
--- a/c/src/libmisc/cpuuse/cpuuse.c
+++ b/c/src/libmisc/cpuuse/cpuuse.c
@@ -15,8 +15,6 @@
 
 #include <rtems.h>
 
-extern rtems_configuration_table BSP_Configuration;
-
 #include <assert.h>
 #include <stdio.h>
 #include <string.h>
diff --git a/c/src/libmisc/monitor/mon-command.c b/c/src/libmisc/monitor/mon-command.c
index 1fe495e0ae..5c733b60d9 100644
--- a/c/src/libmisc/monitor/mon-command.c
+++ b/c/src/libmisc/monitor/mon-command.c
@@ -50,14 +50,13 @@ rtems_monitor_command_read(char *command,
                            int  *argc,
                            char **argv)
 {
-    extern rtems_configuration_table  BSP_Configuration;
     static char monitor_prompt[32];
     
     /*
      * put node number in the prompt if we are multiprocessing
      */
 
-    if (BSP_Configuration.User_multiprocessing_table == 0)
+    if (!rtems_configuration_get_user_multiprocessing_table())
         sprintf(monitor_prompt, "%s", MONITOR_PROMPT);
     else if (rtems_monitor_default_node != rtems_monitor_node)
         sprintf(monitor_prompt, "%d-%s-%d", rtems_monitor_node, MONITOR_PROMPT, rtems_monitor_default_node);
diff --git a/c/src/libmisc/stackchk/check.c b/c/src/libmisc/stackchk/check.c
index ac688c2a2e..b8688d3579 100644
--- a/c/src/libmisc/stackchk/check.c
+++ b/c/src/libmisc/stackchk/check.c
@@ -32,9 +32,6 @@
  */
 #define DONT_USE_FATAL_EXTENSION
 
-
-extern rtems_configuration_table BSP_Configuration;
-
 #include <assert.h>
 #include <stdio.h>
 #include <string.h>
@@ -318,11 +315,11 @@ void Stack_check_report_blown_task(void)
     );
     fflush(stderr);
 
-    if (BSP_Configuration.User_multiprocessing_table)
+    if (rtems_configuration_get_user_multiprocessing_table())
         fprintf(
           stderr,
           "; node=%d\n",
-          BSP_Configuration.User_multiprocessing_table->node
+          rtems_configuration_get_user_multiprocessing_table()->node
        );
     else
         fprintf(stderr, "\n");