Macro sel4::debug_println

source ยท 
macro_rules! debug_println {
    () => { ... };
    ($($arg:tt)*) => { ... };
}
Expand description

Like std::debug_println!, except backed by seL4_DebugPutChar.