rustsbi/library/sbi-spec/src/time.rs

//! Chapter 6. Timer Extension (EID #0x54494D45 "TIME").

/// Extension ID for Timer extension.
#[doc(alias = "SBI_EXT_TIME")]
pub const EID_TIME: usize = crate::eid_from_str("TIME") as _;
pub use fid::*;

/// Declared in §6.2.
mod fid {
    /// Function ID to program the clock for the next event after an absolute time.
    ///
    /// Declared in §6.1.
    #[doc(alias = "SBI_EXT_TIME_SET_TIMER")]
    pub const SET_TIMER: usize = 0;
}