============================================
Index                : 25
Symbol               : _RBTree_Extract_validate_unprotected (0x200cd00)
Starting Line        : rbtree.inl:202 (0x200cd2c)
Ending Line          : rbtree.inl:202 (0x200cd2f)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 33
Symbol               : _Scheduler_EDF_Block (0x2008b70)
Starting Line        : scheduleredfblock.c:31 (0x2008b90)
Ending Line          : scheduleredfblock.c:31 (0x2008b93)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 36
Symbol               : _Scheduler_EDF_Release_job (0x2008ccc)
Starting Line        : scheduleredfreleasejob.c:28 (0x2008cd4)
Ending Line          : scheduleredfreleasejob.c:28 (0x2008cd7)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 38
Symbol               : _Scheduler_EDF_Unblock (0x2008d28)
Starting Line        : scheduleredfunblock.c:43 (0x2008d78)
Ending Line          : scheduleredfunblock.c:43 (0x2008d87)
Size in Bytes        : 16
Size in Instructions : 4

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 40
Symbol               : _Scheduler_EDF_Update (0x2008d9c)
Starting Line        : scheduleredfupdate.c:40 (0x2008de0)
Ending Line          : scheduleredfupdate.c:47 (0x2008e4b)
Size in Bytes        : 108
Size in Instructions : 27

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 41
Symbol               : _Scheduler_EDF_Yield (0x2008e54)
Starting Line        : scheduleredfyield.c:23 (0x2008e54)
Ending Line          : scheduleredfyield.c:56 (0x2008f2b)
Size in Bytes        : 216
Size in Instructions : 54

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 57
Symbol               : _Timer_server_Body (0x20171e4)
Starting Line        : timerserver.c:345 (0x20172fc)
Ending Line          : timerserver.c:345 (0x2017307)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================