Skip to content
Snippets Groups Projects
Commit 328842be authored by Peter Wägemann's avatar Peter Wägemann
Browse files

timing: remove duplicate implementation of arch_timing_get

parent ed6e2a58
No related branches found
No related tags found
No related merge requests found
...@@ -14,7 +14,6 @@ set(SRCS ...@@ -14,7 +14,6 @@ set(SRCS
tcb.cc tcb.cc
irq.cc irq.cc
typecheck.cc typecheck.cc
platin.cc
crtend.c crtend.c
timing-arch.cc timing-arch.cc
) )
......
#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;
}
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment