Searched defs:__sbi_set_timer_v01 (Results 1 – 1 of 1) sorted by relevance
139 static void __sbi_set_timer_v01(uint64_t stime_value) in __sbi_set_timer_v01() function197 static void __sbi_set_timer_v01(uint64_t stime_value) in __sbi_set_timer_v01() function
