Macro sel4_microkit::debug_print
source · macro_rules! debug_print { ($($arg:tt)*) => { ... }; }
Expand description
Like std::print
, except backed by debug_put_char
.
macro_rules! debug_print { ($($arg:tt)*) => { ... }; }
Like std::print
, except backed by debug_put_char
.