pub mod mm;

#[inline]
pub fn set_timer(stime_value: u64) {
    // sbi_rt::set_timer(stime_value);
}