Hello, While looking at pipe_loader_drm.c in Mesa, I see that udev is used on Linux to get the PCI ID of the device. I understand that getting this information is a general need in libdrm, Mesa, and so on.
Is there a portable way to obtain this? If not, what do you think about adding an ioctl in drm to get the PCI ID of an opened device? -- Jean-S?bastien P?dron
