Constant SYSTEM_SCHEDULER_KW_KERNEL_QUEUE 

pub const SYSTEM_SCHEDULER_KW_KERNEL_QUEUE: u64 = 4u64;