Constant SYSTEM_SCHEDULER_KW_CONTEXT_SWITCH 

pub const SYSTEM_SCHEDULER_KW_CONTEXT_SWITCH: u64 = 512u64;