sel4_sys::syscall_id

Constant DebugSendIPI

Source 
pub const DebugSendIPI: i32 = -15i32;