216	_Scheduler_EDF_Yield	scheduleredfyield.c:23
108	_Scheduler_EDF_Update	scheduleredfupdate.c:40
16	_Scheduler_EDF_Unblock	scheduleredfunblock.c:43
12	_Timer_server_Body	timerserver.c:345
4	_Scheduler_EDF_Release_job	scheduleredfreleasejob.c:28
4	_Scheduler_EDF_Block	scheduleredfblock.c:31
4	_RBTree_Extract_validate_unprotected	rbtree.inl:202