Searched refs:TaskSwitchCounterInc (Results 1 – 3 of 3) sorted by relevance
25 extern void TaskSwitchCounterInc(void);
72 void TaskSwitchCounterInc(void) in TaskSwitchCounterInc() function
253 TaskSwitchCounterInc(); in CoStart()