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>
Applied with Keith's reviewed-by to pci/host-vmd for v4.13.
> ---
> drivers/pci/host/vmd.c | 5 ++++-
> 1 file changed, 4 insertions(+), 1 deletion(-)
>
> diff --git a/drivers/pci/host/vmd.c b/drivers/pci/host/vmd.c
> index e27ad2a3bd33..53aa1d4b17e8 100644
> --- a/drivers/pci/host/vmd.c
> +++ b/drivers/pci/host/vmd.c
> @@ -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)
> {
>
