modules/vmid/vmid.c

41 static void add_ptb_to_table(struct core_vmid *core_vmid, unsigned int vmid, uint64_t ptb)
44 		core_vmid->ptb_assigned_to_vmid[vmid] = ptb;
69 // Return value of -1 indicates vmid table uninitialized or ptb dne in the table
70 static int get_existing_vmid_for_ptb(struct core_vmid *core_vmid, uint64_t ptb)
75 		if (core_vmid->ptb_assigned_to_vmid[i] == ptb)
95 uint8_t mod_vmid_get_for_ptb(struct mod_vmid *mod_vmid, uint64_t ptb)
101 	if (ptb == 0)
104 	vmid = get_existing_vmid_for_ptb(core_vmid, ptb);
109 		va_config.page_table_base_addr = ptb;
116 			add_ptb_to_table(core_vmid, vmid, ptb);