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

Function sbi_system_reset

Source 
pub fn sbi_system_reset(reset_type: u32, reset_reason: u32) -> !