divstr           5519 tools/lib/traceevent/event-parse.c 	char *divstr;
divstr           5526 tools/lib/traceevent/event-parse.c 	divstr = strchr(format, '.');
divstr           5527 tools/lib/traceevent/event-parse.c 	if (divstr && isdigit(*(divstr + 1)))
divstr           5528 tools/lib/traceevent/event-parse.c 		div = atoi(divstr + 1);