Home
last modified time | relevance | path

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

/Linux-v5.15/arch/riscv/kernel/
Dsbi.c124 static void __sbi_set_timer_v01(uint64_t stime_value) in __sbi_set_timer_v01() function
176 static void __sbi_set_timer_v01(uint64_t stime_value) in __sbi_set_timer_v01() function
597 __sbi_set_timer = __sbi_set_timer_v01; in sbi_init()
612 __sbi_set_timer = __sbi_set_timer_v01; in sbi_init()