0x7f8a10172423 <pthread_mutex_lock+19>:	mov    0x10(%rdi),%esi
0x7f8a10172426 <pthread_mutex_lock+22>:	mov    %rsi,%rax
0x7f8a10172429 <pthread_mutex_lock+25>:	and    $0x7f,%eax
0x7f8a1017242c <pthread_mutex_lock+28>:	cmp    $0x43,%rax
0x7f8a10172430 <pthread_mutex_lock+32>:	
    jbe    0x7f8a10172440 <pthread_mutex_lock+48>
0x7f8a10172432 <pthread_mutex_lock+34>:	mov    $0x16,%eax
0x7f8a10172437 <pthread_mutex_lock+39>:	pop    %rbx
0x7f8a10172438 <pthread_mutex_lock+40>:	pop    %rbp
0x7f8a10172439 <pthread_mutex_lock+41>:	pop    %r12
0x7f8a1017243b <pthread_mutex_lock+43>:	pop    %r13
0x7f8a1017243d <pthread_mutex_lock+45>:	pop    %r14
0x7f8a1017243f <pthread_mutex_lock+47>:	retq   
0x7f8a10172440 <pthread_mutex_lock+48>:	
    lea    0x81a9(%rip),%rdx        # 0x7f8a1017a5f0
0x7f8a10172447 <pthread_mutex_lock+55>:	movslq (%rdx,%rax,4),%rax
0x7f8a1017244b <pthread_mutex_lock+59>:	add    %rdx,%rax
0x7f8a1017244e <pthread_mutex_lock+62>:	jmpq   *%rax