Searched refs:__sbi_set_timer_v02 (Results 1 – 1 of 1) sorted by relevance
203 static void __sbi_set_timer_v02(uint64_t stime_value) in __sbi_set_timer_v02() function579 __sbi_set_timer = __sbi_set_timer_v02; in sbi_init()