Home
last modified time | relevance | path

Searched refs:time_ms (Results 1 – 3 of 3) sorted by relevance

/optee_os/core/arch/arm/kernel/
H A Dtimer_a64.c13 void generic_timer_start(uint32_t time_ms) in generic_timer_start() argument
22 timer_ticks = ((uint64_t)read_cntfrq() * time_ms) / 1000; in generic_timer_start()
46 void generic_timer_handler(uint32_t time_ms) in generic_timer_handler() argument
57 timer_ticks = ((uint64_t)read_cntfrq() * time_ms) / 1000; in generic_timer_handler()
/optee_os/core/drivers/rtc/
H A Drtc.c25 uint64_t time_ms = 0; in rtc_time_to_ms() local
35 time_ms = time->tm_ms; in rtc_time_to_ms()
36 time_ms += time->tm_sec * MS_PER_SEC; in rtc_time_to_ms()
37 time_ms += time->tm_min * MS_PER_MIN; in rtc_time_to_ms()
38 time_ms += time->tm_hour * MS_PER_HOUR; in rtc_time_to_ms()
50 time_ms += days * MS_PER_DAY; in rtc_time_to_ms()
52 return time_ms; in rtc_time_to_ms()
/optee_os/core/include/kernel/
H A Dtimer.h12 void generic_timer_start(uint32_t time_ms);
16 void generic_timer_handler(uint32_t time_ms);