Searched refs:hax_vcpu_devfs_string (Results 1 – 2 of 2) sorted by relevance
134 static char *hax_vcpu_devfs_string(int vm_id, int vcpu_id) in hax_vcpu_devfs_string() function222 devfs_path = hax_vcpu_devfs_string(vmid, vcpuid); in hax_host_open_vcpu()
217 static char *hax_vcpu_devfs_string(int vm_id, int vcpu_id) in hax_vcpu_devfs_string() function333 devfs_path = hax_vcpu_devfs_string(vmid, vcpuid); in hax_host_open_vcpu()