Macro debug_print 

macro_rules! debug_print {
    ($($arg:tt)*) => { ... };
}

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