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