From: Julien Grall <julien.grall@citrix.com>
Date: Sat, 1 Aug 2015 16:45:06 +0000 (+0100)
Subject: xen/debug: Use cpu_to_vcpu_id macro
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=0e55ea3d49d221133dc815284c56eef5a814a8b0;p=people%2Fjulieng%2Ffreebsd.git

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 a8b9b17969ee..fd3a89e9a2c4 100644
--- 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);