Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit 575a144e authored by Bjorn Helgaas's avatar Bjorn Helgaas
Browse files

PCI: vmd: Correct comment: VMD domains start at 0x10000, not 0x1000 



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: default avatarBjorn Helgaas <bhelgaas@google.com>
Reviewed-by: default avatarKeith Busch <keith.busch@intel.com>
parent 769b461f

drivers/pci/host/vmd.c

+4 −1
Original line number Diff line number Diff line
@@ -539,7 +539,10 @@ static void vmd_detach_resources(struct vmd_dev *vmd) 
}



/*

 * VMD domains start at 0x1000 to not clash with ACPI _SEG domains.

 * VMD domains start at 0x10000 to not clash with ACPI _SEG domains.

 * Per ACPI r6.0, sec 6.5.6,  _SEG returns an integer, of which the lower

 * 16 bits are the PCI Segment Group (domain) number.  Other bits are

 * currently reserved.

 */

static int vmd_find_free_domain(void)

{