Searched refs:vPortEndScheduler (Results 1 – 3 of 3) sorted by relevance
214 void vPortEndScheduler(void) PRIVILEGED_FUNCTION;
233 void vPortEndScheduler(void) in vPortEndScheduler() function
2149 vPortEndScheduler(); in vTaskEndScheduler()
Completed in 10 milliseconds