sel4_sys::syscall_id

Constant DebugHalt

Source 
pub const DebugHalt: i32 = -14i32;