1pub fn console_putchar(c: usize) {
3 #[allow(deprecated)]
4 sbi_rt::legacy::console_putchar(c);
5}
6
7pub fn console_getchar() -> usize {
10 #[allow(deprecated)]
11 sbi_rt::legacy::console_getchar()
12}
13
14pub fn set_timer(timer: usize) {
16 sbi_rt::set_timer(timer as _);
17}
18
19pub fn shutdown(failure: bool) -> ! {
21 use sbi_rt::{NoReason, Shutdown, SystemFailure, system_reset};
22 if !failure {
23 system_reset(Shutdown, NoReason);
24 } else {
25 system_reset(Shutdown, SystemFailure);
26 }
27 unreachable!()
28}