From 900d17fa40ef6988a814f5cfcc7d55c28da766c7 Mon Sep 17 00:00:00 2001 From: daniel-k Date: Fri, 4 Nov 2016 12:10:07 +0100 Subject: [PATCH] kernel/time: provide uptime based on APIC timer ticks --- hermit/include/hermit/time.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/hermit/include/hermit/time.h b/hermit/include/hermit/time.h index 0e5d51df1..5ae042a3a 100644 --- a/hermit/include/hermit/time.h +++ b/hermit/include/hermit/time.h @@ -81,6 +81,10 @@ static inline uint64_t get_clock_tick(void) */ static inline void sleep(unsigned int sec) { timer_wait(sec*TIMER_FREQ); } +/** @brief Get milliseconds since system boot + */ +static inline uint64_t get_uptime() { return (get_clock_tick() * 1000) / TIMER_FREQ; } + static inline int timer_deadline(uint32_t t) { return apic_timer_deadline(t); } static inline void timer_disable(void) { apic_disable_timer(); }