Constant sel4_sys::syscall_id::DebugSnapshot

pub const DebugSnapshot: i32 = -16i32;