aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/cycles.h
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-04-10 16:47:51 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-04-10 16:47:51 +0200
commit5659daa886559566fdb6306d989578707838a267 (patch)
treee901b246a818cef72e9bf7b8fb141187ef273c28 /test/monniaux/cycles.h
parent76f48469c4b4ca49159dc736830cd806f8dbbf07 (diff)
downloadcompcert-kvx-5659daa886559566fdb6306d989578707838a267.tar.gz
compcert-kvx-5659daa886559566fdb6306d989578707838a267.zip
profiling still crashes on Aarch64
Diffstat (limited to 'test/monniaux/cycles.h')
-rw-r--r--test/monniaux/cycles.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/cycles.h b/test/monniaux/cycles.h
index 097d6882..36de6cc5 100644
--- a/test/monniaux/cycles.h
+++ b/test/monniaux/cycles.h
@@ -50,7 +50,7 @@ static inline cycle_t get_cycle(void) {
typedef uint32_t cycle_t;
#define PRcycle PRId32
-#ifdef ARM_NOPRIVILEGE
+#ifdef ARM_NO_PRIVILEGE
static inline cycle_t get_cycle(void) {
return 0;
}
@@ -67,7 +67,7 @@ static inline cycle_t get_cycle(void) {
#define PRcycle PRId64
typedef uint64_t cycle_t;
-#ifdef ARM_NOPRIVILEGE
+#ifdef ARM_NO_PRIVILEGE
static inline cycle_t get_cycle(void) {
return 0;
}