Searched refs:getUserTime (Results 1 – 2 of 2) sorted by relevance
176 if (Total.getUserTime()) in print()177 printVal(getUserTime(), Total.getUserTime(), OS); in print()338 if (Total.getUserTime()) in PrintQueuedTimers()
42 double getUserTime() const { return UserTime; } in getUserTime() function