#include <sys/cdefs.h>
#include "opt_stack.h"
#include "opt_ddb.h"
#include <sys/param.h>
#include <sys/systm.h>
#include <sys/bus.h>
#include <sys/kernel.h>
#include <sys/lock.h>
#include <sys/module.h>
#include <sys/mutex.h>
#include <sys/pcpu.h>
#include <sys/smp.h>
#include <sys/stack.h>
#include <sys/sbuf.h>
#include <xen/xen-os.h>
#include <xen/xen_intr.h>
#include <xen/hypervisor.h>
Go to the source code of this file.
|
| __FBSDID ("$FreeBSD$") |
|
| DPCPU_DEFINE (xen_intr_handle_t, xendebug_handler) |
|
static int | xendebug_drain (void *arg, const char *str, int len) |
|
void | stack_capture (struct stack *st, register_t rbp) |
|
static int | xendebug_filter (void *arg __unused) |
|
static void | xendebug_identify (driver_t *driver, device_t parent) |
|
static int | xendebug_probe (device_t dev) |
|
static int | xendebug_attach (device_t dev) |
|
| DRIVER_MODULE (xendebug, xenpv, xendebug_driver, xendebug_devclass, 0, 0) |
|
| MODULE_DEPEND (xendebug, xenpv, 1, 1, 1) |
|
◆ __FBSDID()
◆ DPCPU_DEFINE()
DPCPU_DEFINE |
( |
xen_intr_handle_t |
, |
|
|
xendebug_handler |
|
|
) |
| |
◆ DRIVER_MODULE()
◆ MODULE_DEPEND()
MODULE_DEPEND |
( |
xendebug |
, |
|
|
xenpv |
, |
|
|
1 |
, |
|
|
1 |
, |
|
|
1 |
|
|
) |
| |
◆ stack_capture()
void stack_capture |
( |
struct stack * |
st, |
|
|
register_t |
rbp |
|
) |
| |
◆ xendebug_attach()
static int xendebug_attach |
( |
device_t |
dev | ) |
|
|
static |
◆ xendebug_drain()
static int xendebug_drain |
( |
void * |
arg, |
|
|
const char * |
str, |
|
|
int |
len |
|
) |
| |
|
static |
◆ xendebug_filter()
static int xendebug_filter |
( |
void *arg |
__unused | ) |
|
|
static |
◆ xendebug_identify()
static void xendebug_identify |
( |
driver_t * |
driver, |
|
|
device_t |
parent |
|
) |
| |
|
static |
◆ xendebug_probe()
static int xendebug_probe |
( |
device_t |
dev | ) |
|
|
static |
◆ buf
◆ lock
◆ xendebug_devclass
devclass_t xendebug_devclass |
◆ xendebug_driver
Initial value:= {
"debug",
0,
}
static device_method_t xendebug_methods[]
Definition at line 148 of file debug.c.
◆ xendebug_methods
device_method_t xendebug_methods[] |
|
static |
Initial value:= {
DEVMETHOD_END
}
static int xendebug_probe(device_t dev)
static void xendebug_identify(driver_t *driver, device_t parent)
static int xendebug_attach(device_t dev)
Definition at line 140 of file debug.c.