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()
101 	int vmid = 0;  in mod_vmid_get_for_ptb()  local
107 	vmid = get_existing_vmid_for_ptb(core_vmid, ptb);  in mod_vmid_get_for_ptb()
109 	if (vmid == -1) {  in mod_vmid_get_for_ptb()
117 		vmid = get_next_available_vmid(core_vmid);  in mod_vmid_get_for_ptb()
118 		if (vmid != -1) {  in mod_vmid_get_for_ptb()
119 			add_ptb_to_table(core_vmid, vmid, ptb);  in mod_vmid_get_for_ptb()
121 			dc_setup_vm_context(core_vmid->dc, &va_config, vmid);  in mod_vmid_get_for_ptb()
126 	ASSERT(vmid >= 0 && vmid <= 0xFF);  in mod_vmid_get_for_ptb()
127 	return (uint8_t)vmid;  in mod_vmid_get_for_ptb()