Searched refs:tsptype (Results 1 – 1 of 1) sorted by relevance
40 static const char *tsptype[TSPTYPENUMBER] = variable59 printf("TSP_%s", tsptype[tsp->tsp_type]); in timed_print()