Re: [PATCH] pci-hyperv: Use only 16 bit integer for PCI domain

[Christoph Hellwig]

FYI, I've also got another driver in progress that will need domains
assigned outside the ACPI range, so it's not just limited to VMD.