You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
40 lines
941 B
40 lines
941 B
#![allow(unused)]
|
|
|
|
const SBI_SET_TIMER: usize = 0;
|
|
const SBI_CONSOLE_PUTCHAR: usize = 1;
|
|
const SBI_CONSOLE_GETCHAR: usize = 2;
|
|
const SBI_CLEAR_IPI: usize = 3;
|
|
const SBI_SEND_IPI: usize = 4;
|
|
const SBI_REMOTE_FENCE_I: usize = 5;
|
|
const SBI_REMOTE_SFENCE_VMA: usize = 6;
|
|
const SBI_REMOTE_SFENCE_VMA_ASID: usize = 7;
|
|
const SBI_SHUTDOWN: usize = 8;
|
|
|
|
#[inline(always)]
|
|
fn sbi_call(which: usize, arg0: usize, arg1: usize, arg2: usize) -> usize {
|
|
let mut ret;
|
|
unsafe {
|
|
llvm_asm!("ecall"
|
|
: "={x10}" (ret)
|
|
: "{x10}" (arg0), "{x11}" (arg1), "{x12}" (arg2), "{x17}" (which)
|
|
: "memory"
|
|
: "volatile"
|
|
);
|
|
}
|
|
ret
|
|
}
|
|
|
|
pub fn console_putchar(c: usize) {
|
|
sbi_call(SBI_CONSOLE_PUTCHAR, c, 0, 0);
|
|
}
|
|
|
|
pub fn console_getchar() -> usize {
|
|
sbi_call(SBI_CONSOLE_GETCHAR, 0, 0, 0)
|
|
}
|
|
|
|
pub fn shutdown() -> ! {
|
|
sbi_call(SBI_SHUTDOWN, 0, 0, 0);
|
|
panic!("It should shutdown!");
|
|
}
|
|
|