kernel/scheduler/scheduler_profiler.cpp

110 Profiler::DumpCalled(uint32 maxCount)
117 	if (maxCount > 0)
118 		count = std::min(count, maxCount);
124 Profiler::DumpTimeInclusive(uint32 maxCount)
131 	if (maxCount > 0)
132 		count = std::min(count, maxCount);
138 Profiler::DumpTimeExclusive(uint32 maxCount)
145 	if (maxCount > 0)
146 		count = std::min(count, maxCount);
152 Profiler::DumpTimeInclusivePerCall(uint32 maxCount)
159 	if (maxCount > 0)
160 		count = std::min(count, maxCount);
166 Profiler::DumpTimeExclusivePerCall(uint32 maxCount)
173 	if (maxCount > 0)
174 		count = std::min(count, maxCount);