dbgctl.h   36 bsp/drv/dev/base/cons.c #include <sys/dbgctl.h>
dbgctl.h   37 bsp/drv/dev/base/kd.c #include <sys/dbgctl.h>
dbgctl.h   39 bsp/drv/include/dki.h #include <sys/dbgctl.h>
dbgctl.h   40 include/sys/prex.h #include <sys/dbgctl.h>
dbgctl.h   39 sys/kern/debug.c #include <sys/dbgctl.h>
dbgctl.h   44 sys/kern/system.c #include <sys/dbgctl.h>