44	_SMP_lock_Spinlock_Obtain	unknown
24	_SMP_lock_Spinlock_Release	unknown
12	_Timer_server_Body	timerserver.c:345
12	_SMP_lock_Spinlock_Initialize	unknown
4	_Scheduler_priority_Yield	schedulerpriorityyield.c:52