sel4_sys::syscall_id

Constant DebugSnapshot

Source 
pub const DebugSnapshot: i32 = -13i32;