Searched refs:heir (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/benchmark/
H A Dbenchmark_utilisation.h33 /* Calculate and add the utilisation time from when the heir started to run i.e. scheduled
36 static inline void benchmark_utilisation_switch(tcb_t *heir, tcb_t *next) argument
38 /* Add heir thread utilisation */
42 if (likely(ksEnter > heir->benchmark.schedule_start_time)) {
44 heir->benchmark.utilisation += (ksEnter - heir->benchmark.schedule_start_time);
48 heir->benchmark.utilisation += (0xFFFFFFFFU - heir->benchmark.schedule_start_time) + ksEnter;

Completed in 81 milliseconds