Constant sel4_sys::syscall_id::DebugSnapshot

pub const DebugSnapshot: i32 = -13i32;