sel4_sys::syscall_id

Constant DebugPutChar

Source 
pub const DebugPutChar: i32 = -12i32;