328     hax_fd hDeviceVCPU;  in hax_host_open_vcpu()  local
337     hDeviceVCPU = CreateFile( devfs_path,  in hax_host_open_vcpu()
345     if (hDeviceVCPU == INVALID_HANDLE_VALUE)  in hax_host_open_vcpu()
348     return hDeviceVCPU;  in hax_host_open_vcpu()
353     hax_fd hDeviceVCPU = vcpu->fd;  in hax_host_setup_vcpu_channel()  local
358     ret = DeviceIoControl(hDeviceVCPU,  in hax_host_setup_vcpu_channel()
384     HANDLE hDeviceVCPU = vcpu->fd;  in hax_vcpu_run()  local
387     ret = DeviceIoControl(hDeviceVCPU,  in hax_vcpu_run()
403     HANDLE hDeviceVCPU;  in hax_sync_fpu()  local
410     hDeviceVCPU = fd;  in hax_sync_fpu()
413         ret = DeviceIoControl(hDeviceVCPU,  in hax_sync_fpu()
420         ret = DeviceIoControl(hDeviceVCPU,  in hax_sync_fpu()
436     HANDLE hDeviceVCPU;  in hax_sync_msr()  local
442     hDeviceVCPU = fd;  in hax_sync_msr()
445         ret = DeviceIoControl(hDeviceVCPU,  in hax_sync_msr()
452         ret = DeviceIoControl(hDeviceVCPU,  in hax_sync_msr()
468     HANDLE hDeviceVCPU;  in hax_sync_vcpu_state()  local
475     hDeviceVCPU = fd;  in hax_sync_vcpu_state()
478         ret = DeviceIoControl(hDeviceVCPU,  in hax_sync_vcpu_state()
485         ret = DeviceIoControl(hDeviceVCPU,  in hax_sync_vcpu_state()
501     HANDLE hDeviceVCPU;  in hax_inject_interrupt()  local
508     hDeviceVCPU = fd;  in hax_inject_interrupt()
510     ret = DeviceIoControl(hDeviceVCPU,  in hax_inject_interrupt()