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