# dmesg | grep eth
eth0: RealTek RTL8139 at 0xd800, 00:40:f4:d8:41:a4, IRQ 12
eth0:  Identified 8139 chip type 'RTL-8100B/8139D'
eth1: RealTek RTL8139 at 0xdc00, 00:40:f4:d8:41:a3, IRQ 10
eth1:  Identified 8139 chip type 'RTL-8100B/8139D'
eth2: RealTek RTL8139 at 0xe000, 00:40:f4:d8:41:a2, IRQ 11
eth2:  Identified 8139 chip type 'RTL-8100B/8139D'

At that point, eth0 works properly but:

# ifconfig eth1 up
eth1: ERROR while getting interface flags: No such device

# ifconfig eth2 up
eth2: ERROR while getting interface flags: No such device