23 static unsigned long *vmid_map;  variable
50 	bitmap_clear(vmid_map, 0, NUM_USER_VMIDS);  in flush_context()
58 		__set_bit(vmid2idx(vmid), vmid_map);  in flush_context()
106 		if (!__test_and_set_bit(vmid2idx(vmid), vmid_map)) {  in new_vmid()
112 	vmid = find_next_zero_bit(vmid_map, NUM_USER_VMIDS, cur_idx);  in new_vmid()
122 	vmid = find_next_zero_bit(vmid_map, NUM_USER_VMIDS, 1);  in new_vmid()
125 	__set_bit(vmid, vmid_map);  in new_vmid()
185 	vmid_map = kcalloc(BITS_TO_LONGS(NUM_USER_VMIDS),  in kvm_arm_vmid_alloc_init()
186 			   sizeof(*vmid_map), GFP_KERNEL);  in kvm_arm_vmid_alloc_init()
187 	if (!vmid_map)  in kvm_arm_vmid_alloc_init()
195 	kfree(vmid_map);  in kvm_arm_vmid_alloc_free()