In order to provide better VMD userspace management support, VMD needs to know its instance number in the platform. VMDs can be enabled or disabled, so a simple enumeration can't explicitly determine the instance number of the VMD. To assist userspace with management tasks, VMD BIOS writes the VMD instance number and socket number into the first enabled root port's IO Base/Limit registers prior to OS handoff. VMD driver can capture this information and expose it to userspace. This set exposes hardware-specific details of the VMD configuration as written by the VMD-enabled BIOS. This data is restored to the same location on reset or module unload. This set reuses the serialized child device configuration accessors for proper ordering and write flushing. Jon Derrick (3): PCI: vmd: Add helpers to access device config space PCI: vmd: Expose VMD details from BIOS PCI: vmd: Restore domain info during resets/unloads drivers/pci/controller/vmd.c | 147 ++++++++++++++++++++++++++++++++++++++----- 1 file changed, 133 insertions(+), 14 deletions(-) -- 1.8.3.1
