116 static char *hax_vm_devfs_string(int vm_id)  in hax_vm_devfs_string()  argument
120     if (vm_id > MAX_VM_ID)  in hax_vm_devfs_string()
129     sprintf(name, "/dev/hax_vm/vm%02d", vm_id);  in hax_vm_devfs_string()
134 static char *hax_vcpu_devfs_string(int vm_id, int vcpu_id)  in hax_vcpu_devfs_string()  argument
138     if (vm_id > MAX_VM_ID || vcpu_id > MAX_VCPU_ID)  in hax_vcpu_devfs_string()
140         dprint("Too big vm id %x or vcpu id %x\n", vm_id, vcpu_id);  in hax_vcpu_devfs_string()
148     sprintf(name, "/dev/hax_vm%02d/vcpu%02d", vm_id, vcpu_id);  in hax_vcpu_devfs_string()
156     int vm_id = 0;  in hax_host_create_vm()  local
164     ret = ioctl(hax->fd, HAX_IOCTL_CREATE_VM, &vm_id);  in hax_host_create_vm()
165     *vmid = vm_id;  in hax_host_create_vm()
169 hax_fd hax_host_open_vm(struct hax_state *hax, int vm_id)  in hax_host_open_vm()  argument
174     vm_name = hax_vm_devfs_string(vm_id);  in hax_host_open_vm()