From f1202139f9f35a56658b025e209757248a19cc02 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Fri, 28 Sep 2012 12:23:48 +0200 Subject: [PATCH] NOVA: fix compiler warning --- base-nova/src/core/include/nova_util.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base-nova/src/core/include/nova_util.h b/base-nova/src/core/include/nova_util.h index d3c479b501..7143c639a8 100644 --- a/base-nova/src/core/include/nova_util.h +++ b/base-nova/src/core/include/nova_util.h @@ -136,7 +136,7 @@ inline int map_local(Nova::Utcb *utcb, order = log2(to_end - to_curr); if (verbose_local_map) - Genode::printf("::map_local: order %lx %lx:%lx %lx:%lx\n", + Genode::printf("::map_local: order %zx %lx:%lx %lx:%lx\n", order, from_curr, from_end, to_curr, to_end); int const res = map_local(utcb,