Home
last modified time | relevance | path

Searched refs:clint_set_timer (Results 1 – 2 of 2) sorted by relevance

/arch/riscv/include/arch/riscv/
A Dclint.h44 static inline void clint_set_timer(uint64_t ticks) { in clint_set_timer() function
/arch/riscv/
A Dtime.c42 clint_set_timer(ticks); in platform_set_oneshot_timer()

Completed in 2 milliseconds