diff options
Diffstat (limited to 'runtime/probes/os_timer')
| -rw-r--r-- | runtime/probes/os_timer/os_timer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/probes/os_timer/os_timer.c b/runtime/probes/os_timer/os_timer.c index 1e927be4..20aebf68 100644 --- a/runtime/probes/os_timer/os_timer.c +++ b/runtime/probes/os_timer/os_timer.c @@ -113,7 +113,7 @@ int probe_start(void) return 0; } -static void probe_exit (void) +void probe_exit (void) { /* unregister the os_timer */ del_timer_sync(&timer); |