Symbol: __sbi_set_timer_v01
arch/riscv/kernel/sbi.c
154
static void __sbi_set_timer_v01(uint64_t stime_value)
arch/riscv/kernel/sbi.c
96
static void __sbi_set_timer_v01(uint64_t stime_value)