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