Get PCI vendor/device ID from userland

[Jean-Sébastien Pédron]

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