Searched refs:hDeviceVCPU (Results 1 – 1 of 1) sorted by relevance
328 hax_fd hDeviceVCPU; in hax_host_open_vcpu() local337 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() local358 ret = DeviceIoControl(hDeviceVCPU, in hax_host_setup_vcpu_channel()384 HANDLE hDeviceVCPU = vcpu->fd; in hax_vcpu_run() local387 ret = DeviceIoControl(hDeviceVCPU, in hax_vcpu_run()403 HANDLE hDeviceVCPU; in hax_sync_fpu() local410 hDeviceVCPU = fd; in hax_sync_fpu()[all …]