Lines Matching refs:SaveTiming
1226 void SaveTiming(const char* name, int64_t ticks, unsigned size);