diff options
Diffstat (limited to 'extras/mini-os/include/time.h')
| -rw-r--r-- | extras/mini-os/include/time.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/include/time.h b/extras/mini-os/include/time.h index e28bf171d7..250af5c5cf 100644 --- a/extras/mini-os/include/time.h +++ b/extras/mini-os/include/time.h @@ -54,6 +54,7 @@ typedef long suseconds_t; /* prototypes */ void init_time(void); +void fini_time(void); s_time_t get_s_time(void); s_time_t get_v_time(void); u64 monotonic_clock(void); |