41 static void add_ptb_to_table(struct core_vmid *core_vmid, unsigned int vmid, uint64_t ptb)  in add_ptb_to_table()  argument
43 	if (vmid < MAX_VMID) {  in add_ptb_to_table()
44 		core_vmid->ptb_assigned_to_vmid[vmid] = ptb;  in add_ptb_to_table()
49 static void clear_entry_from_vmid_table(struct core_vmid *core_vmid, unsigned int vmid)  in clear_entry_from_vmid_table()  argument
51 	if (vmid < MAX_VMID) {  in clear_entry_from_vmid_table()
52 		core_vmid->ptb_assigned_to_vmid[vmid] = 0;  in clear_entry_from_vmid_table()
98 	int vmid = 0;  in mod_vmid_get_for_ptb()  local
104 	vmid = get_existing_vmid_for_ptb(core_vmid, ptb);  in mod_vmid_get_for_ptb()
106 	if (vmid == -1) {  in mod_vmid_get_for_ptb()
114 		vmid = get_next_available_vmid(core_vmid);  in mod_vmid_get_for_ptb()
115 		if (vmid != -1) {  in mod_vmid_get_for_ptb()
116 			add_ptb_to_table(core_vmid, vmid, ptb);  in mod_vmid_get_for_ptb()
118 			dc_setup_vm_context(core_vmid->dc, &va_config, vmid);  in mod_vmid_get_for_ptb()
123 	return vmid;  in mod_vmid_get_for_ptb()