From fc33b9004c49f21f8188df5c4cd079a9a3d08de8 Mon Sep 17 00:00:00 2001 From: Anthony PERARD Date: Fri, 10 Jan 2014 15:52:54 +0000 Subject: xen_pt: Fix debug output. Signed-off-by: Anthony PERARD Signed-off-by: Stefano Stabellini Reviewed-by: Konrad Rzeszutek Wilk --- hw/xen/xen_pt.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'hw/xen') diff --git a/hw/xen/xen_pt.c b/hw/xen/xen_pt.c index d58cb616b1..eee43541a4 100644 --- a/hw/xen/xen_pt.c +++ b/hw/xen/xen_pt.c @@ -420,8 +420,8 @@ static int xen_pt_register_regions(XenPCIPassthroughState *s) "xen-pci-pt-bar", r->size); pci_register_bar(&s->dev, i, type, &s->bar[i]); - XEN_PT_LOG(&s->dev, "IO region %i registered (size=0x%lx"PRIx64 - " base_addr=0x%lx"PRIx64" type: %#x)\n", + XEN_PT_LOG(&s->dev, "IO region %i registered (size=0x%08"PRIx64 + " base_addr=0x%08"PRIx64" type: %#x)\n", i, r->size, r->base_addr, type); } -- cgit v1.2.1