4	_RBTree_Extract_validate_unprotected	rbtree.inl:202
8	_Scheduler_CBS_Get_execution_time	schedulercbsgetexecutiontime.c:35
4	_Scheduler_CBS_Get_remaining_budget	schedulercbsgetremainingbudget.c:43
20	_Scheduler_CBS_Release_job	schedulercbsreleasejob.c:38
4	_Scheduler_CBS_Release_job	schedulercbsreleasejob.c:47
16	_Scheduler_CBS_Unblock	schedulercbsunblock.c:72
4	_Scheduler_EDF_Block	scheduleredfblock.c:31
4	_Scheduler_EDF_Release_job	scheduleredfreleasejob.c:28
16	_Scheduler_EDF_Unblock	scheduleredfunblock.c:43
108	_Scheduler_EDF_Update	scheduleredfupdate.c:40
216	_Scheduler_EDF_Yield	scheduleredfyield.c:23
12	_Timer_server_Body	timerserver.c:345