1 files changed, 46 insertions, 49 deletions
diff --git a/cpukit/score/src/cpusetprintsupport.c b/cpukit/score/src/cpusetprintsupport.c
index 13cffd9242..c1ae235786 100644
--- a/cpukit/score/src/cpusetprintsupport.c
+++ b/cpukit/score/src/cpusetprintsupport.c
@@ -26,55 +26,52 @@
 #include <rtems/printer.h>
 #include <rtems/score/cpusetimpl.h>
 
-#ifdef __RTEMS_HAVE_SYS_CPUSET_H__
+void _CPU_set_Show_with_plugin(
+  const rtems_printer *printer,
+  const char          *description,
+  const cpu_set_t     *cpuset
+);
 
-  void _CPU_set_Show_with_plugin(
-    const rtems_printer *printer,
-    const char          *description,
-    const cpu_set_t     *cpuset
-  );
-
-  /*
-   * _CPU_set_Show_with_plugin
-   *
-   * This routine shows cpuset cpuset using a
-   * print plugin .
-   */
-  void _CPU_set_Show_with_plugin(
-    const rtems_printer *printer,
-    const char          *description,
-    const cpu_set_t     *cpuset
-  )
-  {
-    int i;
-    rtems_printf(printer ,"%s: ", description);
-    for(i=0; i<_NCPUWORDS; i++)
-      rtems_printf(printer ,"%" PRIx32 "", cpuset->__bits[i]);
-    rtems_printf(printer ,"\n");
-  }
+/*
+ * _CPU_set_Show_with_plugin
+ *
+ * This routine shows cpuset cpuset using a
+ * print plugin .
+ */
+void _CPU_set_Show_with_plugin(
+  const rtems_printer *printer,
+  const char          *description,
+  const cpu_set_t     *cpuset
+)
+{
+  int i;
+  rtems_printf(printer ,"%s: ", description);
+  for(i=0; i<_NCPUWORDS; i++)
+    rtems_printf(printer ,"%" PRIx32 "", cpuset->__bits[i]);
+  rtems_printf(printer ,"\n");
+}
 
-  /*
-   * _CPU_set_Show
-   *
-   * This routine shows a cpuset using the
-   * printk plugin.
-   */
-  void _CPU_set_Show( const char *description, const cpu_set_t   *cpuset)
-  {
-    rtems_printer printer;
-    rtems_print_printer_printk( &printer );
-    _CPU_set_Show_with_plugin( &printer, description, cpuset );
-  }
+/*
+ * _CPU_set_Show
+ *
+ * This routine shows a cpuset using the
+ * printk plugin.
+ */
+void _CPU_set_Show( const char *description, const cpu_set_t   *cpuset)
+{
+  rtems_printer printer;
+  rtems_print_printer_printk( &printer );
+  _CPU_set_Show_with_plugin( &printer, description, cpuset );
+}
 
-  /*
-   * _CPU_set_Show_default
-   *
-   * This routine shows the default cpuset.
-   */
- void _CPU_set_Show_default( const char *description )
-  {
-    const CPU_set_Control *ctl;
-    ctl = _CPU_set_Default();
-    _CPU_set_Show( description, ctl->set );
-  }
-#endif
+/*
+ * _CPU_set_Show_default
+ *
+ * This routine shows the default cpuset.
+ */
+void _CPU_set_Show_default( const char *description )
+{
+  const CPU_set_Control *ctl;
+  ctl = _CPU_set_Default();
+  _CPU_set_Show( description, ctl->set );
+}