>>> On 14.07.15 at 03:42, <tiejun.c...@intel.com> wrote: >> > + { >>> + printk(XENLOG_G_ERR VTDPREFIX >>> + " cannot assign %04x:%02x:%02x.%u" >>> + " with shared RMRR for Dom%d.\n", >>> + seg, bus, PCI_SLOT(devfn), PCI_FUNC(devfn), >>> + d->domain_id); >>> + return -EPERM; >>> + } >>> + } >> >> Two if()-s like these should be folded into one. >> >> In your place I'd also consider also printing the RMRR base address >> for easier analysis of the issue. >> > > I agree but I think the whole range info should be better, > > " with shared RMRR [%"PRIx64",%"PRIx64"] for Dom%d.\n",
Perhaps, albeit due to there not being overlapping RMRRs the base address is sufficient for uniquely identifying the one in question. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel