Searched refs:vcpu (Results 1 – 5 of 5) sorted by relevance
116 struct hax_vcpu_state *vcpu = env->hax_vcpu; in hax_vcpu_get_fd() local117 if (!vcpu) in hax_vcpu_get_fd()119 return vcpu->fd; in hax_vcpu_get_fd()176 struct hax_vcpu_state *vcpu = NULL; in hax_vcpu_create() local191 vcpu = qemu_malloc(sizeof(struct hax_vcpu_state)); in hax_vcpu_create()192 if (!vcpu) in hax_vcpu_create()198 memset(vcpu, 0, sizeof(struct hax_vcpu_state)); in hax_vcpu_create()207 vcpu->fd = hax_host_open_vcpu(hax_global.vm->id, id); in hax_vcpu_create()208 if (hax_invalid_fd(vcpu->fd)) in hax_vcpu_create()215 hax_global.vm->vcpus[id] = vcpu; in hax_vcpu_create()[all …]
236 int hax_host_setup_vcpu_channel(struct hax_vcpu_state *vcpu) in hax_host_setup_vcpu_channel() argument241 ret = ioctl(vcpu->fd, HAX_VCPU_IOCTL_SETUP_TUNNEL, &info); in hax_host_setup_vcpu_channel()255 vcpu->tunnel = (struct hax_tunnel *)(info.va); in hax_host_setup_vcpu_channel()256 vcpu->iobuf = (unsigned char *)(info.io_va); in hax_host_setup_vcpu_channel()260 int hax_vcpu_run(struct hax_vcpu_state* vcpu) in hax_vcpu_run() argument264 ret = ioctl(vcpu->fd, HAX_VCPU_IOCTL_RUN, NULL); in hax_vcpu_run()
351 int hax_host_setup_vcpu_channel(struct hax_vcpu_state *vcpu) in hax_host_setup_vcpu_channel() argument353 hax_fd hDeviceVCPU = vcpu->fd; in hax_host_setup_vcpu_channel()376 vcpu->tunnel = (struct hax_tunnel *)(info.va); in hax_host_setup_vcpu_channel()377 vcpu->iobuf = (unsigned char *)(info.io_va); in hax_host_setup_vcpu_channel()381 int hax_vcpu_run(struct hax_vcpu_state* vcpu) in hax_vcpu_run() argument384 HANDLE hDeviceVCPU = vcpu->fd; in hax_vcpu_run()
65 int hax_vcpu_run(struct hax_vcpu_state *vcpu);79 int hax_host_setup_vcpu_channel(struct hax_vcpu_state *vcpu);
52 state. Also, the vcpu state is restored on return to whatever it