1 files changed, 0 insertions, 77 deletions
diff --git a/cpukit/score/src/cpusetprintsupport.c b/cpukit/score/src/cpusetprintsupport.c
deleted file mode 100644
index 1199671032..0000000000
--- a/cpukit/score/src/cpusetprintsupport.c
+++ /dev/null
@@ -1,77 +0,0 @@
-/**
- * @file
- *
- * @brief CPU Set Print Support Routines
- * @ingroup ScoreCpuset
- */
-
-/*
- *  COPYRIGHT (c) 2014.
- *  On-Line Applications Research Corporation (OAR).
- *
- *  The license and distribution terms for this file may be
- *  found in the file LICENSE in this distribution or at
- *  http://www.rtems.org/license/LICENSE.
- */
-
-#ifdef HAVE_CONFIG_H
-#include "config.h"
-#endif
-
-#include <string.h>
-#include <stdlib.h>
-#include <stdio.h>
-#include <ctype.h>
-#include <inttypes.h>
-#include <rtems/printer.h>
-#include <rtems/score/cpusetimpl.h>
-
-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 ,"%lx", 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_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 );
-}