NUM_USER_ASIDS
bitmap_clear(asid_map, 0, NUM_USER_ASIDS);
asid = find_next_zero_bit(asid_map, NUM_USER_ASIDS, cur_idx);
if (asid == NUM_USER_ASIDS) {
asid = find_next_zero_bit(asid_map, NUM_USER_ASIDS, 1);
static DECLARE_BITMAP(asid_map, NUM_USER_ASIDS);
asid = find_next_zero_bit(asid_map, NUM_USER_ASIDS, cur_idx);
if (asid != NUM_USER_ASIDS)
asid = find_next_zero_bit(asid_map, NUM_USER_ASIDS, 1);
unsigned long num_available_asids = NUM_USER_ASIDS;
asid_map = bitmap_zalloc(NUM_USER_ASIDS, GFP_KERNEL);
NUM_USER_ASIDS);
pinned_asid_map = bitmap_zalloc(NUM_USER_ASIDS, GFP_KERNEL);
unsigned int len = BITS_TO_LONGS(NUM_USER_ASIDS) * sizeof(unsigned long);
bitmap_copy(asid_map, pinned_asid_map, NUM_USER_ASIDS);
bitmap_clear(asid_map, 0, NUM_USER_ASIDS);