//! Chapter 5. Legacy Extensions (EIDs #0x00 - #0x0F).

pub use id::*;

/// §5.10
mod id {
    /// §5.1
    pub const LEGACY_SET_TIMER: usize = 0;
    /// §5.2
    pub const LEGACY_CONSOLE_PUTCHAR: usize = 1;
    /// §5.3
    pub const LEGACY_CONSOLE_GETCHAR: usize = 2;
    /// §5.4
    pub const LEGACY_CLEAR_IPI: usize = 3;
    /// §5.5
    pub const LEGACY_SEND_IPI: usize = 4;
    /// §5.6
    pub const LEGACY_REMOTE_FENCE_I: usize = 5;
    /// §5.7
    pub const LEGACY_REMOTE_SFENCE_VMA: usize = 6;
    /// §5.8
    pub const LEGACY_REMOTE_SFENCE_VMA_ASID: usize = 7;
    /// §5.9
    pub const LEGACY_SHUTDOWN: usize = 8;
}