mm_cidmask
bitmap_zero(mm_cidmask(mm), num_possible_cpus());
clear_bit(cid, mm_cidmask(mm));
unsigned int cid = find_first_zero_bit(mm_cidmask(mm), max_cids);
if (test_and_set_bit(cid, mm_cidmask(mm)))