EXEC_TIMEOUT      908 dev/pci/if_sandrv.c 	tstop = ticks + EXEC_TIMEOUT;
EXEC_TIMEOUT      916 dev/pci/if_sandrv.c 			    (ticks-tstop+EXEC_TIMEOUT),
EXEC_TIMEOUT      917 dev/pci/if_sandrv.c 			    (unsigned long)EXEC_TIMEOUT, nloops, MAX_NLOOPS);