TEHUTI             66 drivers/net/ethernet/tehuti/tehuti.c 	{ PCI_VDEVICE(TEHUTI, 0x3009), },
TEHUTI             67 drivers/net/ethernet/tehuti/tehuti.c 	{ PCI_VDEVICE(TEHUTI, 0x3010), },
TEHUTI             68 drivers/net/ethernet/tehuti/tehuti.c 	{ PCI_VDEVICE(TEHUTI, 0x3014), },