Module os::sbi

source · [−]

Functions

set_timer

use sbi call to set timer

shutdown

use sbi call to shutdown the kernel