Fix Benchmark SMC Print Format
Change-Id: Ifda51cc6656953cff8acb25062ad75fcdb781897
diff --git a/benchmarks/benchmark_smc.c b/benchmarks/benchmark_smc.c
index 1c9f5d1..f6de59f 100644
--- a/benchmarks/benchmark_smc.c
+++ b/benchmarks/benchmark_smc.c
@@ -45,7 +45,7 @@
void _print64(const char* header, uint64_t number) {
uint32_t number_low = number & 0xFFFFFFFF;
uint32_t number_hi = number >> 32;
- LOG_INFO("%s: 0x%08lx%08lx", header, number_hi, number_low);
+ LOG_INFO("%s: 0x%08x%08x", header, number_hi, number_low);
}
void ottf_external_isr(void) {
@@ -119,7 +119,7 @@
uint32_t iterations = output_header_ptr->iterations;
uint64_t cycles = output_header_ptr->cycles;
uint64_t average_cycles = udiv64_slow(cycles, iterations, NULL);
- LOG_INFO("Iterations: %ld", iterations);
+ LOG_INFO("Iterations: %d", iterations);
_print64("Total Cycles", cycles);
_print64("Average Cycles per Iteration", average_cycles);
LOG_INFO("========== End Benchmark ==========");