os/sbi.rs
1/// use sbi call to set timer
2pub fn set_timer(timer: usize) {
3 sbi_rt::set_timer(timer as _);
4}
5
6/// use sbi call to shutdown the kernel
7pub fn shutdown(failure: bool) -> ! {
8 use sbi_rt::{NoReason, Shutdown, SystemFailure, system_reset};
9 if !failure {
10 system_reset(Shutdown, NoReason);
11 } else {
12 system_reset(Shutdown, SystemFailure);
13 }
14 unreachable!()
15}