Lines Matching refs:tcb
17 tcb_t *tcb = NULL;
30 tcb = TCB_PTR(cap_thread_cap_get_capTCBPtr(lu_ret.cap));
33 buffer[BENCHMARK_TCB_UTILISATION] = tcb->benchmark.utilisation; /* Requested thread utilisation */
34 buffer[BENCHMARK_TCB_NUMBER_SCHEDULES] = tcb->benchmark.number_schedules; /* Number of times scheduled */
35 buffer[BENCHMARK_TCB_KERNEL_UTILISATION] = tcb->benchmark.kernel_utilisation; /* Utilisation spent in kernel */
36 buffer[BENCHMARK_TCB_NUMBER_KERNEL_ENTRIES] = tcb->benchmark.number_kernel_entries; /* Number of kernel entries */
43 tcb->tcbAffinity)->benchmark.utilisation; /* Idle thread utilisation of CPU the TCB is running on */
70 void benchmark_track_reset_utilisation(tcb_t *tcb)
72 tcb->benchmark.utilisation = 0;
73 tcb->benchmark.number_schedules = 0;
74 tcb->benchmark.number_kernel_entries = 0;
75 tcb->benchmark.kernel_utilisation = 0;
76 tcb->benchmark.schedule_start_time = 0;