Searched refs:benchmark_track_reset_utilisation (Results 1 – 3 of 3) sorted by relevance
20 void benchmark_track_reset_utilisation(tcb_t *tcb);
70 void benchmark_track_reset_utilisation(tcb_t *tcb) in benchmark_track_reset_utilisation() function
213 benchmark_track_reset_utilisation(NODE_STATE(ksIdleThread)); in handleUnknownSyscall()267 benchmark_track_reset_utilisation(tcb); in handleUnknownSyscall()297 benchmark_track_reset_utilisation(curr); in handleUnknownSyscall()
Completed in 5 milliseconds