52	_Barrier_Manager_initialization	no-dpmem.c:26
52	_Dual_ported_memory_Manager_initialization	no-event.c:26
12	_Event_Manager_initialization	no-msg.c:30
52	_Extension_Manager_initialization	bootcard.c:117
52	_Message_queue_Manager_initialization	no-part.c:25
4	_POSIX_Condition_variables_Wait_support	condwaitsupp.c:89
16	_POSIX_Keys_Run_destructors	keyrundestructors.c:62
8	_POSIX_Threads_Delete_extension	pthread.c:263
52	_Partition_Manager_initialization	no-region.c:26
52	_Rate_monotonic_Manager_initialization	no-ext.c:25
52	_Region_Manager_initialization	no-signal.c:27
8	_Thread_queue_Enqueue_priority	cpu.h:274
8	_Thread_queue_Enqueue_priority	cpu.h:274
56	_Timer_Manager_initialization	no-rtmon.c:27
8	_Timer_server_Body	cpu.h:274
12	killinfo	killinfo.c:78
8	killinfo	killinfo.c:84
12	pthread_kill	pthreadkill.c:56
8	pthread_kill	pthreadkill.c:81