36	_SMP_lock_Spinlock_Obtain	unknown
16	_SMP_lock_Spinlock_Release	unknown
12	_SMP_lock_Spinlock_Initialize	unknown
8	_Timer_server_Body	cpu.h:261