Do not disable counters when reading on aarch64 (#32)
If the cycle counter is disabled during a read, the operation can be
preempted and lose the count of cycles for the duration of the
preemption.
Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
diff --git a/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h b/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h
index 4d1d651..f438b9a 100644
--- a/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h
+++ b/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h
@@ -77,12 +77,7 @@
static FASTFN ccnt_t sel4bench_get_cycle_count()
{
ccnt_t val;
- uint32_t enable_word = sel4bench_private_read_cntens(); //store running state
-
- sel4bench_private_write_cntenc(BIT(SEL4BENCH_ARMV8A_COUNTER_CCNT)); //stop CCNT
SEL4BENCH_READ_CCNT(val); //read its value
- sel4bench_private_write_cntens(enable_word); //start it again if it was running
-
return val;
}
