Lines Matching refs:vcpu
140 dprint("Too big vm id %x or vcpu id %x\n", vm_id, vcpu_id);
148 sprintf(name, "/dev/hax_vm%02d/vcpu%02d", vm_id, vcpu_id);
212 dprint("Failed to create vcpu %x\n", vcpuid);
232 dprint("Failed to open the vcpu devfs\n");
236 int hax_host_setup_vcpu_channel(struct hax_vcpu_state *vcpu)
241 ret = ioctl(vcpu->fd, HAX_VCPU_IOCTL_SETUP_TUNNEL, &info);
255 vcpu->tunnel = (struct hax_tunnel *)(info.va);
256 vcpu->iobuf = (unsigned char *)(info.io_va);
260 int hax_vcpu_run(struct hax_vcpu_state* vcpu)
264 ret = ioctl(vcpu->fd, HAX_VCPU_IOCTL_RUN, NULL);
