Searched refs:devfs_path (Results 1 – 2 of 2) sorted by relevance
219 char *devfs_path = NULL; in hax_host_open_vcpu() local222 devfs_path = hax_vcpu_devfs_string(vmid, vcpuid); in hax_host_open_vcpu()223 if (!devfs_path) in hax_host_open_vcpu()229 fd = open(devfs_path, O_RDWR); in hax_host_open_vcpu()230 g_free(devfs_path); in hax_host_open_vcpu()
330 char *devfs_path = NULL; in hax_host_open_vcpu() local333 devfs_path = hax_vcpu_devfs_string(vmid, vcpuid); in hax_host_open_vcpu()334 if (!devfs_path) in hax_host_open_vcpu()340 hDeviceVCPU = CreateFile( devfs_path, in hax_host_open_vcpu()350 g_free(devfs_path); in hax_host_open_vcpu()