Function sel4_common::sbi::sbi_call

#[no_mangle]
pub fn sbi_call(which: usize, arg0: usize, arg1: usize, arg2: usize) -> usize