pub const OPS_FLAGS: usize = 51;
The ops flags the scheduler was loaded with: those #[scheduler] declares, as its user space changed them.
#[scheduler]