Symbol: dtms_disable
sys/arch/pmax/tc/dtms.c
61
void dtms_disable(void *);
sys/arch/pmax/tc/dtms.c
70
dtms_disable,