From 024053cd98c3bfc0bf6a9c4c219c9fb030f4a660 Mon Sep 17 00:00:00 2001 From: Christopher Celio Date: Sun, 10 Aug 2014 01:01:49 -0700 Subject: [PATCH] Fix uarch counter printout type. --- pk/syscall.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pk/syscall.c b/pk/syscall.c index f32bbe1..add12ce 100644 --- a/pk/syscall.c +++ b/pk/syscall.c @@ -46,7 +46,7 @@ void sys_exit(int code) for (int i = 0; i < NUM_COUNTERS; i++) { if (uarch_counters[i]) { - printk("%s = %d\n", uarch_counter_names[i], uarch_counters[i]); + printk("%s = %ld\n", uarch_counter_names[i], uarch_counters[i]); } } }