# 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