TX_WATCHDOG      3818 drivers/net/ethernet/marvell/skge.c 	dev->watchdog_timeo = TX_WATCHDOG;
TX_WATCHDOG      4732 drivers/net/ethernet/marvell/sky2.c 	dev->watchdog_timeo = TX_WATCHDOG;