//! Chapter 12. Debug Console Extension (EID #0x4442434E "DBCN").
/// Extension ID for Debug Console Extension.
pubconstEID_DBCN:usize=crate::eid_from_str("DBCN")as_;pubusefid::*;/// Declared in §12.
modfid{/// Function ID to write bytes to the debug console from input memory.
////// Declared in §12.1.
pubconstCONSOLE_WRITE:usize=0;/// Function ID to read bytes from the debug console into an output memory.
////// Declared in §12.2.
pubconstCONSOLE_READ:usize=1;/// Function ID to write a single byte to the debug console.
////// Declared in §12.3.
pubconstCONSOLE_WRITE_BYTE:usize=2;}