>>> On 10.03.15 at 23:45, <dgde...@tycho.nsa.gov> 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@lists.xen.org http://lists.xen.org/xen-devel
