| 1472 | } |
| 1473 | |
| 1474 | void Profiler::stopTimer() { |
| 1475 | MutexLocker ml(_timer_lock); |
| 1476 | if (_timer_id != NULL) { |
| 1477 | _timer_id = NULL; |
| 1478 | _timer_lock.notify(); |
| 1479 | } |
| 1480 | } |
| 1481 | |
| 1482 | void Profiler::timerLoop(void* timer_id) { |
| 1483 | u64 current_micros = OS::micros(); |