Symbol: __mm_get_cid
kernel/sched/sched.h
3849
unsigned int cid = __mm_get_cid(mm, READ_ONCE(mm->mm_cid.max_cids));
kernel/sched/sched.h
3853
cid = __mm_get_cid(mm, num_possible_cpus());
kernel/sched/sched.h
3868
new_cid = __mm_get_cid(mm, max_cids);