commit 9f5a0664187e9411c5c6b7dbd21a1f50922cf698
author Volker Rümelin <vr_qemu@t-online.de> Sun Mar 22 22:02:11 2020 +0100
committer Paolo Bonzini <pbonzini@redhat.com> Tue Apr 14 10:37:42 2020 -0400
tree ad137069d5da85972bc0741cb752ce928ce4422f
parent e43651ff88c59d96d9d860310b13a99307e9c9bd

hax: Windows doesn't like posix device names

Patch acb9f95a7c "i386: Fix GCC warning with snprintf when HAX
is enabled" replaced Windows device names with posix device
names. Revert this.

Fixes: acb9f95a7c "i386: Fix GCC warning with snprintf when HAX is enabled"

Signed-off-by: Volker Rümelin <vr_qemu@t-online.de>
Message-Id: <20200322210211.29603-1-vr_qemu@t-online.de>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

target/i386/hax-windows.c

diff --git a/target/i386/hax-windows.c b/target/i386/hax-windows.c
index 0ba488c..863c2bc 100644
--- a/target/i386/hax-windows.c
+++ b/target/i386/hax-windows.c
@@ -185,12 +185,12 @@
 
 static char *hax_vm_devfs_string(int vm_id)
 {
-    return g_strdup_printf("/dev/hax_vm/vm%02d", vm_id);
+    return g_strdup_printf("\\\\.\\hax_vm%02d", vm_id);
 }
 
 static char *hax_vcpu_devfs_string(int vm_id, int vcpu_id)
 {
-    return g_strdup_printf("/dev/hax_vm%02d/vcpu%02d", vm_id, vcpu_id);
+    return g_strdup_printf("\\\\.\\hax_vm%02d_vcpu%02d", vm_id, vcpu_id);
 }
 
 int hax_host_create_vm(struct hax_state *hax, int *vmid)