Re: [Xen-devel] [PATCH v3 20/24] xen/passthrough: Extend XEN_DOMCTL_assign_device to support DT device

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 10.03.15 at 23:45, <dgdegra@xxxxxxxxxxxxx> wrote:
> In order to do static labeling for device passthrough, the nodes in a
> device tree need a 32-bit numeric identifier.  IO memory uses the MFN,
> PCI devices use SBDF, and IRQs and x86 legacy IOs just use the number.

A 32-bit number can't uniquely identify an MMIO MFN.

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel