//! Chapter 12. Debug Console Extension (EID #0x4442434E "DBCN").

/// Extension ID for Debug Console Extension.
pub const EID_DBCN: usize = crate::eid_from_str("DBCN") as _;
pub use fid::*;

/// Declared in §12.
mod fid {
    /// Function ID to write bytes to the debug console from input memory.
    ///
    /// Declared in §12.1.
    pub const CONSOLE_WRITE: usize = 0;
    /// Function ID to read bytes from the debug console into an output memory.
    ///
    /// Declared in §12.2.
    pub const CONSOLE_READ: usize = 1;
    /// Function ID to write a single byte to the debug console.
    ///
    /// Declared in §12.3.
    pub const CONSOLE_WRITE_BYTE: usize = 2;
}