Home | History | Annotate | Download | only in dev

Lines Matching refs:kgdb

33  * Hooks for kgdb when attached via the z8530 driver
35  * To use this, build a kernel with: option KGDB, and
38  * "kgdb waiting..." you run "gdb -k kernel" and do:
54 #include <sys/kgdb.h>
114  * Set up for kgdb; called at boot time before configuration.
115  * KGDB interrupts will be enabled later when zs0 is configured.
178  * to be "taken over" for exclusive use by kgdb.
179  * Return non-zero if this is the kgdb port.
191 	 * Yes, this is port in use by kgdb.
203  * KGDB framing character received: enter kernel debugger.  This probably
211 	printf("zstty%d: kgdb interrupt\n", unit);