dbgctl 194 bsp/drv/dev/base/cons.c dbgctl(DBGC_SETDIAG, &cons_diag_ops); dbgctl 404 bsp/drv/dev/base/kd.c dbgctl(DBGC_DUMPTRAP, NULL); dbgctl 433 bsp/drv/dev/base/kd.c dbgctl(DBGC_TRACE, (void *)task); dbgctl 739 bsp/drv/dev/base/kd.c dbgctl(DBGC_SETABORT, &kd_abort_ops); dbgctl 152 bsp/drv/include/dki.h void dbgctl(int, void *); dbgctl 59 sys/include/debug.h int dbgctl(int, void *); dbgctl 111 sys/kern/device.c /* 36 */ DKIENT(dbgctl), dbgctl 186 sys/kern/system.c error = dbgctl(cmd, data); dbgctl 194 sys/kern/system.c dbgctl(cmd, (void *)task);