pub const SYSTEM_SCHEDULER_KW_SHOULD_YIELD: u64 = 8u64;