Macro sel4_microkit::debug_println

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

Like std::println, except backed by debug_put_char.