On Mon, Jun 19, 2017 at 03:36:01PM -0500, Bjorn Helgaas wrote: > VMD domains are allocated starting at 0x10000, not 0x1000 as the comment > said. Correct the comment and add a reference to the ACPI spec for _SEG. > > Signed-off-by: Bjorn Helgaas <bhelgaas@xxxxxxxxxx> Indeed, thanks for the fix. Reviewed-by: Keith Busch <keith.busch@xxxxxxxxx>