Home
last modified time | relevance | path

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

/lk-master/arch/riscv/
A Dsbi.c66 void sbi_set_timer(uint64_t stime_value) { in sbi_set_timer() argument
69 sbi_call(SBI_EXT_TIMER_SIG, 0, stime_value); in sbi_set_timer()
71 sbi_call(SBI_SET_TIMER, stime_value); in sbi_set_timer()
/lk-master/arch/riscv/include/arch/riscv/
A Dsbi.h62 void sbi_set_timer(uint64_t stime_value);

Completed in 4 milliseconds