Re: Problems with sys/arch/xen/xen/xbdback_xenbus.c

[David Laight <david%l8s.co.uk@localhost>]

On Fri, Jan 23, 2009 at 09:42:10PM +0100, Wojciech Galazka wrote:
...
> /n4/usr/src/sys/arch/xen/xen/xbdback_xenbus.c:430: warning: format
> '%d' expects type 'int', but argument 3 has type 'long long unsigned
> int'
...
>               printf("xbd backend: detach device %s%"PRId32"%c for domain 
> %d\n",
>                   devsw_blk2name(major(xbdi->xbdi_dev)),
>                   DISKUNIT(xbdi->xbdi_dev),
>                   (char)DISKPART(xbdi->xbdi_dev) + 'a',
>                   xbdi->xbdi_domid);

Looks like whatever DISKUNIT() expands to, somewhere the 64bit dev_t
should be changed to a 32bit value.

        David

-- 
David Laight: david%l8s.co.uk@localhost