4 _RBTree_Extract_validate_unprotected rbtree.inl:202 8 _Scheduler_CBS_Get_execution_time schedulercbsgetexecutiontime.c:35 16 _Scheduler_CBS_Unblock schedulercbsunblock.c:72 4 _Scheduler_EDF_Release_job scheduleredfreleasejob.c:28 12 _Timer_server_Body timerserver.c:345