sel4_sys::syscall_id

Constant DebugCapIdentify

Source 
pub const DebugCapIdentify: i32 = -12i32;