pub const SYSTEM_SCHEDULER_KW_COMPACT_CSWITCH: u64 = 1024u64;