Revision fc33b900

b/hw/xen/xen_pt.c
420 420
                              "xen-pci-pt-bar", r->size);
421 421
        pci_register_bar(&s->dev, i, type, &s->bar[i]);
422 422

  
423
        XEN_PT_LOG(&s->dev, "IO region %i registered (size=0x%lx"PRIx64
424
                   " base_addr=0x%lx"PRIx64" type: %#x)\n",
423
        XEN_PT_LOG(&s->dev, "IO region %i registered (size=0x%08"PRIx64
424
                   " base_addr=0x%08"PRIx64" type: %#x)\n",
425 425
                   i, r->size, r->base_addr, type);
426 426
    }
427 427

  

Also available in: Unified diff