xen/debug: Use cpu_to_vcpu_id macro

diff --git a/sys/dev/xen/debug/debug.c b/sys/dev/xen/debug/debug.c
index a8b9b17969eed97b7b22abe237b70b46f8104fd1..fd3a89e9a2c404d80adfa6dfa50ea4e5b16dcfe5 100644 (file)
--- a/sys/dev/xen/debug/debug.c
+++ b/sys/dev/xen/debug/debug.c
@@ -79,7 +79,8 @@ xendebug_filter(void *arg)
 
        mtx_lock_spin(&lock);
        sbuf_clear(buf);
-       xc_printf("Printing stack trace vCPU%d\n", PCPU_GET(vcpu_id));
+       xc_printf("Printing stack trace vCPU%d\n",
+                 cpu_to_vcpu_id(PCPU_GET(cpuid)));
        stack_sbuf_print_ddb(buf, &st);
        sbuf_finish(buf);
        mtx_unlock_spin(&lock);