linux,pci-domain - why?

John Rose johnrose at
Wed May 12 04:27:42 EST 2004

> It isn't?  What does your /sys/bus/pci/devices look like?  It should
> have the domain number in the device id.

True, but this isn't taken from the Open Firmware property that I'm
asking about.  The property is explicitly created in the kernel and
added to the device tree, and then never referenced.


** Sent via the linuxppc64-dev mail list. See

More information about the Linuxppc64-dev mailing list