Constant sel4_sys::syscall_id::DebugHalt

pub const DebugHalt: i32 = -11i32;