diff options
| author | Shell <[email protected]> | 2024-07-17 09:39:54 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-07-17 09:39:54 +0800 |
| commit | f6f570df742e8f03fb696ea036987b4d48a542c4 (patch) | |
| tree | d5e6c7a6c4d75b0fbb03f8ff4b3c02ccacddf5ec /src/clock.c | |
| parent | 65ffe4e13ef52d007d83c93467871c529705b522 (diff) | |
| parent | 4ad194bb47101345ce3b3fa631ab2215a0c190c0 (diff) | |
Merge branch 'master' into shell/rv64-tick
Diffstat (limited to 'src/clock.c')
| -rw-r--r-- | src/clock.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/clock.c b/src/clock.c index 6a2366a0ac..34684d2885 100644 --- a/src/clock.c +++ b/src/clock.c @@ -23,6 +23,10 @@ #include <rtthread.h> #include <rtatomic.h> +#if defined(RT_USING_SMART) && defined(RT_USING_VDSO) +#include <vdso.h> +#endif + #ifdef RT_USING_SMP #define rt_tick rt_cpu_index(0)->tick #else @@ -141,6 +145,10 @@ void rt_tick_increase(void) } #endif rt_timer_check(); + +#ifdef RT_USING_VDSO + rt_vdso_update_glob_time(); +#endif } /** |