Macro sel4::debug_println
source · macro_rules! debug_println { () => { ... }; ($($arg:tt)*) => { ... }; }
Expand description
Prints using seL4_DebugPutChar
, with a newline.
macro_rules! debug_println { () => { ... }; ($($arg:tt)*) => { ... }; }
Prints using seL4_DebugPutChar
, with a newline.