1 files changed, 0 insertions, 42 deletions
diff --git a/c/src/lib/libbsp/arm/lpc32xx/misc/timer.c b/c/src/lib/libbsp/arm/lpc32xx/misc/timer.c
deleted file mode 100644
index 5079452d8c..0000000000
--- a/c/src/lib/libbsp/arm/lpc32xx/misc/timer.c
+++ /dev/null
@@ -1,42 +0,0 @@
-/**
- * @file
- *
- * @ingroup arm_lpc32xx
- *
- * @brief Benchmark timer support.
- */
-
-/*
- * Copyright (c) 2008, 2009
- * embedded brains GmbH
- * Obere Lagerstr. 30
- * D-82178 Puchheim
- * Germany
- * <rtems@embedded-brains.de>
- *
- * 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.
- */
-
-#include <rtems.h>
-#include <rtems/btimer.h>
-
-#include <bsp.h>
-
-static uint32_t benchmark_timer_base;
-
-void benchmark_timer_initialize(void)
-{
-  benchmark_timer_base = lpc32xx_timer();
-}
-
-benchmark_timer_t benchmark_timer_read(void)
-{
-  return lpc32xx_timer() - benchmark_timer_base;
-}
-
-void benchmark_timer_disable_subtracting_average_overhead(bool find_average_overhead)
-{
-  /* VOID */
-}