ts_orig          3249 dev/pci/if_san_xilinx.c 	u_int32_t ts_orig = timeslot;
ts_orig          3273 dev/pci/if_san_xilinx.c 			    "timed out!\n", card->devname, ts_orig);