linux,pci-domain - why?

[John Rose]

> 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.

John


** Sent via the linuxppc64-dev mail list. See http://lists.linuxppc.org/