Home
last modified time | relevance | path

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

/libcpu/risc-v/common64/
A Dtick.c28 sbi_set_timer(clock_cpu_gettime() + tick_cycles); in tick_isr()
48 sbi_set_timer(clock_cpu_gettime() + tick_cycles); in rt_hw_tick_init()
A Dsbi.c116 void sbi_set_timer(uint64_t val) in sbi_set_timer() function
A Dsbi.h181 void sbi_set_timer(uint64_t val);

Completed in 4 milliseconds