Constant sel4_sys::syscall_id::DebugCapIdentify

pub const DebugCapIdentify: i32 = -15i32;