Re: [PATCH v3] vfio/pci: match IGD devices in display controller class

[Alex Williamson]

On Fri, 24 Jan 2025 00:34:15 +0800
Tomita Moeko <tomitamoeko@xxxxxxxxx> wrote:

> IGD device can either expose as a VGA controller or display controller
> depending on whether it is configured as the primary display device in
> BIOS. In both cases, the OpRegion may be present. A new helper function
> vfio_pci_is_intel_display() is introduced to check if the device might
> be an IGD device.
> 
> Signed-off-by: Tomita Moeko <tomitamoeko@xxxxxxxxx>
> ---

Applied to vfio next branch for v6.15.  Thanks,

Alex