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
2021-05-08 19:15:54 +02:00
2021-05-17 13:32:19 +02:00
2021-05-16 19:58:33 +02:00
2021-05-17 19:45:35 +01:00
2021-05-16 19:58:33 +02:00
2021-05-17 17:48:55 +01:00
2021-05-17 18:29:47 +02:00
2021-05-05 18:48:26 +02:00
2021-05-16 17:49:42 +02:00
2021-05-17 19:45:35 +01:00
2021-05-16 19:58:33 +02:00
2021-05-17 13:32:19 +02:00
2021-05-17 21:53:04 +02:00
2021-05-17 18:19:49 +02:00
2021-05-15 23:29:03 +01:00
2021-05-16 19:58:33 +02:00
2021-05-17 19:30:12 +02:00
2021-05-16 19:58:33 +02:00
2021-05-16 19:58:33 +02:00
2021-05-16 19:58:33 +02:00
2021-05-16 19:58:33 +02:00
2021-05-16 19:58:33 +02:00
2021-05-17 18:15:25 +02:00
2021-05-13 16:21:53 +02:00
2021-05-13 16:21:53 +02:00
2021-05-13 08:27:42 +02:00
2021-05-17 18:15:25 +02:00
2021-05-16 19:58:33 +02:00
2021-05-16 19:58:33 +02:00
2021-05-16 19:58:33 +02:00
2021-05-16 10:36:52 +01:00
2021-05-14 00:35:57 +02:00
2021-05-14 00:35:57 +02:00
2021-05-17 21:53:04 +02:00
2021-05-17 13:32:19 +02:00
2021-05-16 19:58:33 +02:00
2021-05-16 10:36:52 +01:00
2021-05-16 10:36:52 +01:00
2021-05-05 18:51:06 +02:00
2021-05-13 16:21:53 +02:00
2021-05-05 18:51:06 +02:00
2021-05-15 09:00:29 +02:00
2021-05-14 23:32:10 +02:00
2021-05-13 23:28:40 +02:00
3cafdca868