sel4_sys::syscall_id

Constant DebugDumpScheduler

Source 
pub const DebugDumpScheduler: i32 = -13i32;