Home
last modified time | relevance | path

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

/linux-6.6.21/arch/riscv/kernel/
Dsbi.c20 static void (*__sbi_set_timer)(uint64_t stime) __ro_after_init; variable
354 __sbi_set_timer(stime_value); in sbi_set_timer()
590 __sbi_set_timer = __sbi_set_timer_v02; in sbi_init()
593 __sbi_set_timer = __sbi_set_timer_v01; in sbi_init()
616 __sbi_set_timer = __sbi_set_timer_v01; in sbi_init()