diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 08:02:39 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 08:02:39 +0100 |
| commit | d9e66c1e1fda350a5714316ffb2a515835fa974a (patch) | |
| tree | 3323557971e9082dbf391c0e1c31f94da2ac1279 /test/monniaux/clock.c | |
| parent | db2be07620492d586d3e8993a745b58e39f71d75 (diff) | |
| download | compcert-kvx-d9e66c1e1fda350a5714316ffb2a515835fa974a.tar.gz compcert-kvx-d9e66c1e1fda350a5714316ffb2a515835fa974a.zip | |
fixes in types etc.
Diffstat (limited to 'test/monniaux/clock.c')
| -rw-r--r-- | test/monniaux/clock.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/monniaux/clock.c b/test/monniaux/clock.c index 300cdc7f..e91adc99 100644 --- a/test/monniaux/clock.c +++ b/test/monniaux/clock.c @@ -3,6 +3,10 @@ static cycle_t total_clock, last_start; +void clock_prepare(void) { + cycle_count_config(); +} + void clock_start(void) { last_start = get_cycle(); } @@ -16,5 +20,5 @@ cycle_t get_total_clock(void) { } void print_total_clock(void) { - printf("cycles: %llu\n", total_clock); + printf("cycles: %lu\n", total_clock); } |