24 static unsigned long *asid_map;  variable
94 		bitmap_copy(asid_map, pinned_asid_map, NUM_USER_ASIDS);  in set_reserved_asid_bits()
96 		set_kpti_asid_bits(asid_map);  in set_reserved_asid_bits()
98 		bitmap_clear(asid_map, 0, NUM_USER_ASIDS);  in set_reserved_asid_bits()
123 		__set_bit(ctxid2asid(asid), asid_map);  in flush_context()
186 		if (!__test_and_set_bit(ctxid2asid(asid), asid_map))  in new_context()
197 	asid = find_next_zero_bit(asid_map, NUM_USER_ASIDS, cur_idx);  in new_context()
207 	asid = find_next_zero_bit(asid_map, NUM_USER_ASIDS, 1);  in new_context()
210 	__set_bit(asid, asid_map);  in new_context()
405 	asid_map = bitmap_zalloc(NUM_USER_ASIDS, GFP_KERNEL);  in asids_init()
406 	if (!asid_map)  in asids_init()
419 		set_kpti_asid_bits(asid_map);  in asids_init()