Macro sel4_panicking_env::register_debug_put_char

macro_rules! register_debug_put_char {
    ($(#[$attrs:meta])* $path:path) => { ... };
}