TULIP_MEDIAPOLL_TXPROBE_FAILED  668 dev/pci/if_de.c     if (event == TULIP_MEDIAPOLL_TXPROBE_FAILED
TULIP_MEDIAPOLL_TXPROBE_FAILED  742 dev/pci/if_de.c     if (event == TULIP_MEDIAPOLL_TXPROBE_FAILED) {
TULIP_MEDIAPOLL_TXPROBE_FAILED  785 dev/pci/if_de.c 	       event == TULIP_MEDIAPOLL_TXPROBE_FAILED ? "txprobe failed" : "timeout",
TULIP_MEDIAPOLL_TXPROBE_FAILED 1053 dev/pci/if_de.c     if (event == TULIP_MEDIAPOLL_TXPROBE_FAILED)
TULIP_MEDIAPOLL_TXPROBE_FAILED 3527 dev/pci/if_de.c 			event = TULIP_MEDIAPOLL_TXPROBE_FAILED;