pete@as:~$ sudo /sbin/biosdev -d
adding /pci@0,0/pci-ide@7/ide@0/cmdk@0,0
adding /pci@0,0/pci-ide@8/ide@0/cmdk@0,0
matching biosdev-0x80
match_edd bdf 0 7 0
interface type ATA      pci channel 0 target 0
matched thru edd
0x80 /pci@0,0/pci-ide@7/ide@0/cmdk@0,0
matching biosdev-0x81
match_edd bdf 0 8 0
interface type ATA      pci channel 0 target 0
matched thru edd
0x81 /pci@0,0/pci-ide@8/ide@0/cmdk@0,0
0x80 /pci@0,0/pci-ide@7/ide@0/cmdk@0,0
0x81 /pci@0,0/pci-ide@8/ide@0/cmdk@0,0