DBGC_TRACE        433 bsp/drv/dev/base/kd.c 	dbgctl(DBGC_TRACE, (void *)task);
DBGC_TRACE        177 sys/kern/debug.c 	case DBGC_TRACE:
DBGC_TRACE        188 sys/kern/system.c 	case DBGC_TRACE:
DBGC_TRACE        301 usr/server/proc/main.c 		sys_debug(DBGC_TRACE, (void *)newtask);