60	_Timer_Manager_initialization	no-timer.c:28
52	_Region_Manager_initialization	no-region.c:26
52	_Rate_monotonic_Manager_initialization	no-rtmon.c:27
52	_Partition_Manager_initialization	no-part.c:25
52	_Message_queue_Manager_initialization	no-msg.c:30
52	_Extension_Manager_initialization	no-ext.c:25
52	_Dual_ported_memory_Manager_initialization	no-dpmem.c:26
52	_Barrier_Manager_initialization	no-barrier.c:22
24	pthread_kill	pthreadkill.c:81
16	killinfo	killinfo.c:78
12	_Timer_server_Body	timerserver.c:345
12	_Thread_queue_Enqueue_priority	threadqenqueuepriority.c:99
12	_Thread_Initialize	threadinitialize.c:230
12	_POSIX_Keys_Run_destructors	keyrundestructors.c:63
12	killinfo	killinfo.c:84
8	_POSIX_Condition_variables_Wait_support	condwaitsupp.c:89
8	_Event_Manager_initialization	no-event.c:26
4	_POSIX_Threads_Sporadic_budget_callout	pthread.c:149
4	_POSIX_Threads_Delete_extension	pthread.c:263
4	_POSIX_Threads_Delete_extension	pthread.c:262
4	_POSIX_signals_Unblock_thread	psignalunblockthread.c:111
4	killinfo	killinfo.c:268
