Mitch Bradley wrote:

The text representation is "D,F" , where D is the hexadecimal ASCII 
representation of the binary number ddddd and F is the hexadecimal ASCII 
representation of the binary number fff .  So "show-devs" will display 
names like  "/pci/ethernet@12,e" - device number 0x12, function number 0xe.

[snip more of it]

I don't know how this plays out in the flattened DT world, but the above 
is a summary of what the PCI bus binding stipulates.

Thanks for clearing it up. After David pointed it out I looked it up in
the PCI spec and it seems to match what you saying here.

Sebastian