My new laptop and docking station both have 3COM ex interfaces.  The docking
station NIC configures first as ex0, which I use for my work LAN. I manually
configure the onboard ex1 as needed.  My problem is that when I'm not docked my
onboard comes up as ex0 and gets my corporate LAN settings.  I'm currently
working around that by hard coding the 'dev' flag in my conf file:


ex0     at pci? dev 13 function ?
ex1     at pci? dev 16 function ?
ex*     at pci? dev ? function ?

 Is this the right way to do things? What do the dev numbers mean anyway?  Are
they likely to stay static if I don't rearrange my hardware (which shouldn't
happen that often on a laptop)?