- printk(KERN_INFO "vroot[%d]_get_real_bdev: dev=%p[%p,%d,%d]\n",
- vr->vr_number, real_bdev, real_bdev->bd_inode,
- imajor(real_bdev->bd_inode), iminor(real_bdev->bd_inode));
+ vxdprintk(VXD_CBIT(misc, 0),
+ "vroot[%d]_get_real_bdev: dev=" VXF_DEV,
+ vr->vr_number, VXD_DEV(real_bdev));