From 328842be61c6d79aa1404f96ac8abaf7a4edcb2c Mon Sep 17 00:00:00 2001
From: Peter Waegemann <waegemann@cs.fau.de>
Date: Sun, 11 Sep 2016 15:29:00 +0200
Subject: [PATCH] timing: remove duplicate implementation of arch_timing_get
---
arch/patmos/CMakeLists.txt | 1 -
arch/patmos/platin.cc | 16 ----------------
2 files changed, 17 deletions(-)
delete mode 100644 arch/patmos/platin.cc
diff --git a/arch/patmos/CMakeLists.txt b/arch/patmos/CMakeLists.txt
index e4de058..1edbc2d 100644
--- a/arch/patmos/CMakeLists.txt
+++ b/arch/patmos/CMakeLists.txt
@@ -14,7 +14,6 @@ set(SRCS
tcb.cc
irq.cc
typecheck.cc
- platin.cc
crtend.c
timing-arch.cc
)
diff --git a/arch/patmos/platin.cc b/arch/patmos/platin.cc
deleted file mode 100644
index e54a74a..0000000
--- a/arch/patmos/platin.cc
+++ /dev/null
@@ -1,16 +0,0 @@
-#include "os/util/inline.h"
-#include "patmos-cpu.h"
-#include "stdint.h"
-
-
-extern "C" {
-
-inlinehint uint64_t arch_timing_get() {
- uint32_t l, h;
- __PATMOS_RTC_RD_CYCLE_LOW(l);
- __PATMOS_RTC_RD_CYCLE_UP(h);
-
- return ((uint64_t)h << 32) | l;
-}
-
-}
--
GitLab