<dec f='src/src/sys/arch/x86/x86/patch.c' l='61' type='void i686_mutex_spin_exit(int )'/>
