Lines Matching defs:vm_id
196 static char *hax_vm_devfs_string(int vm_id)
200 if (vm_id > MAX_VM_ID)
209 sprintf(name, "\\\\.\\hax_vm%02d", vm_id);
214 static char *hax_vcpu_devfs_string(int vm_id, int vcpu_id)
218 if (vm_id > MAX_VM_ID || vcpu_id > MAX_VCPU_ID)
220 dprint("Too big vm id %x or vcpu id %x\n", vm_id, vcpu_id);
226 sprintf(name, "\\\\.\\hax_vm%02d_vcpu%02d", vm_id, vcpu_id);
234 int vm_id = 0;
246 &vm_id, sizeof(vm_id),
253 *vmid = vm_id;
257 hax_fd hax_host_open_vm(struct hax_state *hax, int vm_id)
262 vm_name = hax_vm_devfs_string(vm_id);
