Gunnar Beutner 3cafdca868 Kernel: Disable profile timer when the process exits ...

When profiling a single process we didn't disable the profile timer.
enable_profile_timer()/disable_profiler_timer() support nested calls
so no special care has to be taken here to only disable the timer when
nobody else is using it.

2021-05-17 21:53:04 +02:00

22 KiB

Raw Blame History

View Raw