xref: /freebsd/sys/dev/xen/debug/debug.c (revision ee72bc1d1ff8aa8704d5861a10ea3514154ff74d)
1df62b8a2SRoger Pau Monné /*
2df62b8a2SRoger Pau Monné  * Copyright (c) 2015 Roger Pau Monné <roger.pau@citrix.com>
3df62b8a2SRoger Pau Monné  * All rights reserved.
4df62b8a2SRoger Pau Monné  *
5df62b8a2SRoger Pau Monné  * Redistribution and use in source and binary forms, with or without
6df62b8a2SRoger Pau Monné  * modification, are permitted provided that the following conditions
7df62b8a2SRoger Pau Monné  * are met:
8df62b8a2SRoger Pau Monné  * 1. Redistributions of source code must retain the above copyright
9df62b8a2SRoger Pau Monné  *    notice, this list of conditions and the following disclaimer.
10df62b8a2SRoger Pau Monné  * 2. Redistributions in binary form must reproduce the above copyright
11df62b8a2SRoger Pau Monné  *    notice, this list of conditions and the following disclaimer in the
12df62b8a2SRoger Pau Monné  *    documentation and/or other materials provided with the distribution.
13df62b8a2SRoger Pau Monné  *
14df62b8a2SRoger Pau Monné  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15df62b8a2SRoger Pau Monné  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16df62b8a2SRoger Pau Monné  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17df62b8a2SRoger Pau Monné  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18df62b8a2SRoger Pau Monné  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19df62b8a2SRoger Pau Monné  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20df62b8a2SRoger Pau Monné  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21df62b8a2SRoger Pau Monné  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22df62b8a2SRoger Pau Monné  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23df62b8a2SRoger Pau Monné  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24df62b8a2SRoger Pau Monné  * SUCH DAMAGE.
25df62b8a2SRoger Pau Monné  */
26df62b8a2SRoger Pau Monné 
27df62b8a2SRoger Pau Monné #include <sys/cdefs.h>
28df62b8a2SRoger Pau Monné #include "opt_stack.h"
29df62b8a2SRoger Pau Monné #include "opt_ddb.h"
30df62b8a2SRoger Pau Monné 
31df62b8a2SRoger Pau Monné #include <sys/param.h>
32df62b8a2SRoger Pau Monné #include <sys/systm.h>
33df62b8a2SRoger Pau Monné #include <sys/bus.h>
34df62b8a2SRoger Pau Monné #include <sys/kernel.h>
35e2e050c8SConrad Meyer #include <sys/lock.h>
36df62b8a2SRoger Pau Monné #include <sys/module.h>
37e2e050c8SConrad Meyer #include <sys/mutex.h>
38df62b8a2SRoger Pau Monné #include <sys/pcpu.h>
39df62b8a2SRoger Pau Monné #include <sys/smp.h>
40df62b8a2SRoger Pau Monné #include <sys/stack.h>
41df62b8a2SRoger Pau Monné #include <sys/sbuf.h>
42df62b8a2SRoger Pau Monné 
43df62b8a2SRoger Pau Monné #include <xen/xen-os.h>
44df62b8a2SRoger Pau Monné #include <xen/xen_intr.h>
45df62b8a2SRoger Pau Monné #include <xen/hypervisor.h>
46df62b8a2SRoger Pau Monné 
47df62b8a2SRoger Pau Monné /*
48df62b8a2SRoger Pau Monné  * Xen debug device
49df62b8a2SRoger Pau Monné  *
50df62b8a2SRoger Pau Monné  * Handles the VIRQ_DEBUG interrupt and prints the backtrace of each
51df62b8a2SRoger Pau Monné  * vCPU on the Xen console.
52df62b8a2SRoger Pau Monné  */
53df62b8a2SRoger Pau Monné 
54df62b8a2SRoger Pau Monné DPCPU_DEFINE(xen_intr_handle_t, xendebug_handler);
55df62b8a2SRoger Pau Monné static struct mtx lock;
56df62b8a2SRoger Pau Monné static struct sbuf *buf;
57df62b8a2SRoger Pau Monné 
58df62b8a2SRoger Pau Monné static int
xendebug_drain(void * arg,const char * str,int len)59df62b8a2SRoger Pau Monné xendebug_drain(void *arg, const char *str, int len)
60df62b8a2SRoger Pau Monné {
61*ee72bc1dSRoger Pau Monné 	/*
62*ee72bc1dSRoger Pau Monné 	 * Use xen_emergency_print() instead of xc_printf() to avoid the
63*ee72bc1dSRoger Pau Monné 	 * overhead of parsing a format string when it's not needed.
64*ee72bc1dSRoger Pau Monné 	 */
65*ee72bc1dSRoger Pau Monné 	xen_emergency_print(str, len);
66df62b8a2SRoger Pau Monné 	return (len);
67df62b8a2SRoger Pau Monné }
68df62b8a2SRoger Pau Monné 
69df62b8a2SRoger Pau Monné extern void
70df62b8a2SRoger Pau Monné stack_capture(struct stack *st, register_t rbp);
71df62b8a2SRoger Pau Monné 
72df62b8a2SRoger Pau Monné static int
xendebug_filter(void * arg __unused)73d893d9e9SElliott Mitchell xendebug_filter(void *arg __unused)
74df62b8a2SRoger Pau Monné {
75df62b8a2SRoger Pau Monné #if defined(STACK) && defined(DDB)
76df62b8a2SRoger Pau Monné 	struct stack st;
77df62b8a2SRoger Pau Monné 
78df62b8a2SRoger Pau Monné 	stack_save(&st);
79df62b8a2SRoger Pau Monné 
80df62b8a2SRoger Pau Monné 	mtx_lock_spin(&lock);
8128a78d86SJulien Grall 	xc_printf("Printing stack trace vCPU%u\n", XEN_VCPUID());
82df62b8a2SRoger Pau Monné 	stack_sbuf_print_ddb(buf, &st);
83*ee72bc1dSRoger Pau Monné 	sbuf_drain(buf);
84df62b8a2SRoger Pau Monné 	mtx_unlock_spin(&lock);
85df62b8a2SRoger Pau Monné #endif
86df62b8a2SRoger Pau Monné 
87df62b8a2SRoger Pau Monné 	return (FILTER_HANDLED);
88df62b8a2SRoger Pau Monné }
89df62b8a2SRoger Pau Monné 
90df62b8a2SRoger Pau Monné static void
xendebug_identify(driver_t * driver,device_t parent)91df62b8a2SRoger Pau Monné xendebug_identify(driver_t *driver, device_t parent)
92df62b8a2SRoger Pau Monné {
93df62b8a2SRoger Pau Monné 
94df62b8a2SRoger Pau Monné 	KASSERT(xen_domain(),
95df62b8a2SRoger Pau Monné 	    ("Trying to add Xen debug device to non-xen guest"));
96df62b8a2SRoger Pau Monné 
97ac959cf5SJulien Grall 	if (!xen_has_percpu_evtchn())
98df62b8a2SRoger Pau Monné 		return;
99df62b8a2SRoger Pau Monné 
100df62b8a2SRoger Pau Monné 	if (BUS_ADD_CHILD(parent, 0, "debug", 0) == NULL)
101df62b8a2SRoger Pau Monné 		panic("Unable to add Xen debug device.");
102df62b8a2SRoger Pau Monné }
103df62b8a2SRoger Pau Monné 
104df62b8a2SRoger Pau Monné static int
xendebug_probe(device_t dev)105df62b8a2SRoger Pau Monné xendebug_probe(device_t dev)
106df62b8a2SRoger Pau Monné {
107df62b8a2SRoger Pau Monné 
108df62b8a2SRoger Pau Monné 	device_set_desc(dev, "Xen debug handler");
109df62b8a2SRoger Pau Monné 	return (BUS_PROBE_NOWILDCARD);
110df62b8a2SRoger Pau Monné }
111df62b8a2SRoger Pau Monné 
112df62b8a2SRoger Pau Monné static int
xendebug_attach(device_t dev)113df62b8a2SRoger Pau Monné xendebug_attach(device_t dev)
114df62b8a2SRoger Pau Monné {
115df62b8a2SRoger Pau Monné 	int i, error;
116df62b8a2SRoger Pau Monné 
117df62b8a2SRoger Pau Monné 	mtx_init(&lock, "xen-dbg", NULL, MTX_SPIN);
118df62b8a2SRoger Pau Monné 	buf = sbuf_new(NULL, NULL, 1024, SBUF_FIXEDLEN);
119df62b8a2SRoger Pau Monné 	if (buf == NULL)
120df62b8a2SRoger Pau Monné 		panic("Unable to create sbuf for stack dump");
121df62b8a2SRoger Pau Monné 	sbuf_set_drain(buf, xendebug_drain, NULL);
122df62b8a2SRoger Pau Monné 
123df62b8a2SRoger Pau Monné 	/* Bind an event channel to a VIRQ on each VCPU. */
124df62b8a2SRoger Pau Monné 	CPU_FOREACH(i) {
125df62b8a2SRoger Pau Monné 		error = xen_intr_bind_virq(dev, VIRQ_DEBUG, i, xendebug_filter,
126df62b8a2SRoger Pau Monné 		    NULL, NULL, INTR_TYPE_TTY,
127df62b8a2SRoger Pau Monné 		    DPCPU_ID_PTR(i, xendebug_handler));
128df62b8a2SRoger Pau Monné 		if (error != 0) {
129df62b8a2SRoger Pau Monné 			printf("Failed to bind VIRQ_DEBUG to vCPU %d: %d",
130df62b8a2SRoger Pau Monné 			    i, error);
131df62b8a2SRoger Pau Monné 			continue;
132df62b8a2SRoger Pau Monné 		}
133df62b8a2SRoger Pau Monné 		xen_intr_describe(DPCPU_ID_GET(i, xendebug_handler), "d%d", i);
134df62b8a2SRoger Pau Monné 	}
135df62b8a2SRoger Pau Monné 
136df62b8a2SRoger Pau Monné 	return (0);
137df62b8a2SRoger Pau Monné }
138df62b8a2SRoger Pau Monné 
139df62b8a2SRoger Pau Monné static device_method_t xendebug_methods[] = {
140df62b8a2SRoger Pau Monné 	DEVMETHOD(device_identify, xendebug_identify),
141df62b8a2SRoger Pau Monné 	DEVMETHOD(device_probe, xendebug_probe),
142df62b8a2SRoger Pau Monné 	DEVMETHOD(device_attach, xendebug_attach),
143df62b8a2SRoger Pau Monné 
144df62b8a2SRoger Pau Monné 	DEVMETHOD_END
145df62b8a2SRoger Pau Monné };
146df62b8a2SRoger Pau Monné 
147df62b8a2SRoger Pau Monné static driver_t xendebug_driver = {
148df62b8a2SRoger Pau Monné 	"debug",
149df62b8a2SRoger Pau Monné 	xendebug_methods,
150df62b8a2SRoger Pau Monné 	0,
151df62b8a2SRoger Pau Monné };
152df62b8a2SRoger Pau Monné 
153f929eb1eSJohn Baldwin DRIVER_MODULE(xendebug, xenpv, xendebug_driver, 0, 0);
154df62b8a2SRoger Pau Monné MODULE_DEPEND(xendebug, xenpv, 1, 1, 1);
155