rather than its hexadecimal representation. This makes
it easier to compare the actual system time with other
times being printed out (e.g., deadlines in RTDS).
Signed-off-by: Dario Faggioli <dario.faggi...@citrix.com>
---
Cc: Juergen Gross <jgr...@suse.com>
Cc: George Dunlap <george.dun...@eu.citrix.com>
---
xen/common/cpupool.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xen/common/cpupool.c b/xen/common/cpupool.c
index 69b984c..e79850b 100644
--- a/xen/common/cpupool.c
+++ b/xen/common/cpupool.c
@@ -744,7 +744,7 @@ void dump_runq(unsigned char key)
printk("sched_smt_power_savings: %s\n",
sched_smt_power_savings? "enabled":"disabled");
- printk("NOW=0x%08X%08X\n", (u32)(now>>32), (u32)now);
+ printk("NOW=%"PRI_stime"\n", now);
print_cpumap("Online Cpus", &cpu_online_map);
if ( !cpumask_empty(&cpupool_free_cpus) )
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
