kernel::arch::riscv64::instruction::sbi

Function sbi_set_timer

Source 
pub fn sbi_set_timer(stime_value: u64)