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 	core_vmid->ptb_assigned_to_vmid[vmid] = ptb;  in add_ptb_to_table()
47 static void clear_entry_from_vmid_table(struct core_vmid *core_vmid, unsigned int vmid)  in clear_entry_from_vmid_table()  argument
49 	core_vmid->ptb_assigned_to_vmid[vmid] = 0;  in clear_entry_from_vmid_table()
94 	unsigned int vmid = 0;  in mod_vmid_get_for_ptb()  local
100 	vmid = get_existing_vmid_for_ptb(core_vmid, ptb);  in mod_vmid_get_for_ptb()
102 	if (vmid == -1) {  in mod_vmid_get_for_ptb()
110 		vmid = get_next_available_vmid(core_vmid);  in mod_vmid_get_for_ptb()
111 		add_ptb_to_table(core_vmid, vmid, ptb);  in mod_vmid_get_for_ptb()
113 		dc_setup_vm_context(core_vmid->dc, &va_config, vmid);  in mod_vmid_get_for_ptb()
116 	return vmid;  in mod_vmid_get_for_ptb()