kernel::arch::riscv64

Function reboot

Source 
pub fn reboot() -> !