| Size | Symbol | Line | File |
|---|---|---|---|
| 4 | _RBTree_Extract_validate_unprotected | rbtree.inl:202 | rbtree.inl |
| 8 | _Scheduler_CBS_Get_execution_time | schedulercbsgetexecutiontime.c:35 | schedulercbsgetexecutiontime.c |
| 16 | _Scheduler_CBS_Unblock | schedulercbsunblock.c:72 | schedulercbsunblock.c |
| 4 | _Scheduler_EDF_Release_job | scheduleredfreleasejob.c:28 | scheduleredfreleasejob.c |
| 12 | _Timer_server_Body | timerserver.c:345 | timerserver.c |