Searched refs:getUserTime (Results 1 – 2 of 2) sorted by relevance
174 if (Total.getUserTime()) in print()175 printVal(getUserTime(), Total.getUserTime(), OS); in print()336 if (Total.getUserTime()) in PrintQueuedTimers()
41 double getUserTime() const { return UserTime; } in getUserTime() function