proc_pci(5) on Linux

The text 5bc39543e318, as Debian 13 (Trixie) shipped it.

PCI devices

proc_pci(5) on Linux now