0xf7938550 <pthread_mutex_lock+32>:	mov    0xc(%edi),%edx
0xf7938553 <pthread_mutex_lock+35>:	cmp    $0x43,%edx
0xf7938556 <pthread_mutex_lock+38>:	
    jbe    0xf7938565 <pthread_mutex_lock+53>
0xf7938558 <pthread_mutex_lock+40>:	mov    $0x16,%eax
0xf793855d <pthread_mutex_lock+45>:	add    $0x30,%esp
0xf7938560 <pthread_mutex_lock+48>:	pop    %ebx
0xf7938561 <pthread_mutex_lock+49>:	pop    %esi
0xf7938562 <pthread_mutex_lock+50>:	pop    %edi
0xf7938563 <pthread_mutex_lock+51>:	pop    %ebp
0xf7938564 <pthread_mutex_lock+52>:	ret    
0xf7938565 <pthread_mutex_lock+53>:	mov    %ebx,%eax
0xf7938567 <pthread_mutex_lock+55>:	sub    0xffff257c(%ebx,%edx,4),%eax
0xf793856e <pthread_mutex_lock+62>:	jmp    *%eax
0xf7938570 <pthread_mutex_lock+64>:	push   $0xf40000d9
0xf7938575 <pthread_mutex_lock+69>:	fadds  (%eax)
0xf7938577 <pthread_mutex_lock+71>:	add    %dh,0x0(%ecx,%ebx,8)