112	_ISR_Thread_dispatch	unknown
56	_Timer_Manager_initialization	no-rtmon.c:27
52	_Region_Manager_initialization	no-signal.c:27
52	_Rate_monotonic_Manager_initialization	no-ext.c:25
52	_Partition_Manager_initialization	no-region.c:26
52	_Message_queue_Manager_initialization	no-part.c:25
52	_Extension_Manager_initialization	bootcard.c:117
52	_Dual_ported_memory_Manager_initialization	no-event.c:26
52	_Barrier_Manager_initialization	no-dpmem.c:26
12	_Event_Manager_initialization	no-msg.c:30
8	_Timer_server_Body	cpu.h:274
8	_Thread_queue_Enqueue_priority	cpu.h:274
8	_CORE_mutex_Seize_interrupt_trylock	coremutex.inl:209
