sel4_sys::syscall_id

Constant DebugNameThread

Source 
pub const DebugNameThread: i32 = -17i32;