NUM_CTXT_ASIDS
asid = find_next_zero_bit(info->map, NUM_CTXT_ASIDS(info), cur_idx);
if (asid != NUM_CTXT_ASIDS(info))
asid = find_next_zero_bit(info->map, NUM_CTXT_ASIDS(info), 1);
WARN_ON(NUM_CTXT_ASIDS(info) - 1 <= num_possible_cpus());
info->map = bitmap_zalloc(NUM_CTXT_ASIDS(info), GFP_KERNEL);
bitmap_zero(info->map, NUM_CTXT_ASIDS(info));
NUM_CTXT_ASIDS(&asid_info));