DebugSendIPI
sel4_
sys
0.1.0
In sel4_
sys::
syscall_
id
sel4_sys
::
syscall_id
Constant
Debug
SendIPI
Copy item path
Source
pub const DebugSendIPI: i32 = -15i32;