Constant sel4_sys::syscall_id::DebugDumpScheduler

pub const DebugDumpScheduler: i32 = -13i32;