$ lspci
lspci: Cannot open /sys/bus/pci/devices/0000:00:03.0/resource: No such file or directory
It's because the the correct address is 10000:00:03.0 instead of 0000:00:03.0:
$ ls /sys/bus/pci/devices/10000\:00\:03.0/resource
/sys/bus/pci/devices/10000:00:03.0/resource
So we need userspace libraries to support 32 bit domain to support the hardware.
This is not a kernel bug.
$ lspci pci/devices/ 0000:00: 03.0/resource: No such file or directory
lspci: Cannot open /sys/bus/
It's because the the correct address is 10000:00:03.0 instead of 0000:00:03.0: pci/devices/ 10000\: 00\:03. 0/resource pci/devices/ 10000:00: 03.0/resource
$ ls /sys/bus/
/sys/bus/
So we need userspace libraries to support 32 bit domain to support the hardware.