Constant mlfq_consts_MLFQ_MAX_CPUS 

pub const mlfq_consts_MLFQ_MAX_CPUS: mlfq_consts = 1024;