Constant SYSTEM_SCHEDULER_KW_IDEAL_PROCESSOR 

pub const SYSTEM_SCHEDULER_KW_IDEAL_PROCESSOR: u64 = 256u64;