Constant sel4_sys::syscall_id::DebugNameThread

pub const DebugNameThread: i32 = -17i32;