modules/vmid/vmid.c

41 static void add_ptb_to_table(struct core_vmid *core_vmid, unsigned int vmid, uint64_t ptb)
43 	if (vmid < MAX_VMID) {
44 		core_vmid->ptb_assigned_to_vmid[vmid] = ptb;
49 static void clear_entry_from_vmid_table(struct core_vmid *core_vmid, unsigned int vmid)
51 	if (vmid < MAX_VMID) {
52 		core_vmid->ptb_assigned_to_vmid[vmid] = 0;
69 // Return value of -1 indicates vmid table uninitialized or ptb dne in the table
82 // Expected to be called only when there's an available vmid
98 	int vmid = 0;
100 	// Physical address gets vmid 0
104 	vmid = get_existing_vmid_for_ptb(core_vmid, ptb);
106 	if (vmid == -1) {
114 		vmid = get_next_available_vmid(core_vmid);
115 		if (vmid != -1) {
116 			add_ptb_to_table(core_vmid, vmid, ptb);
118 			dc_setup_vm_context(core_vmid->dc, &va_config, vmid);
123 	return vmid;