sel4

Macro debug_println

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

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