Searched refs:TaskWakeCounterInc (Results 1 – 3 of 3) sorted by relevance
21 extern void TaskWakeCounterInc(void);
60 void TaskWakeCounterInc(void) in TaskWakeCounterInc() function
109 TaskWakeCounterInc();