Macro sel4::debug_print

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

Prints using seL4_DebugPutChar.