Hi Michael,,

> That's no contradiction, there's no way to distinguish a PCI card from
> an onboard component connected via PCI. 

Actually, there might be. Look at the .properties of the I/O only
ethernet card you sent:

ff855a38: /bandit@f2000000/pci-bridge@f/pci10ec,8029@1

vendor-id               000010ec ........ ........ ........   ....
device-id               00008029 ........ ........ ........   ...)
revision-id             00000000 ........ ........ ........   ....
class-code              00020000 ........ ........ ........   ....
interrupts              00000001 ........ ........ ........   ....
min-grant               00000000 ........ ........ ........   ....
max-latency             00000000 ........ ........ ........   ....
devsel-speed            00000001 ........ ........ ........   ....
AAPL,slot-name          433100.. ........ ........ ........   C1.

The property AAPL,slot-name indicates the card is in slot C1. I can't
guarantee it, but I'm pretty sure on-board components won't have that
property. 

For diagnostic purposes (#ifdef DEBUG) it might be useful to add this
aspect to the dmesg during the attachment phase. It probably doesn't
make a difference for what you're doing, though.

tim