Constant sel4_sys::syscall_id::DebugPutChar

pub const DebugPutChar: i32 = -12i32;