0x3802b579 <do_syscall_WRK+25>:	retq   
0x3802b57a <do_syscall_WRK+26>:	nopw   0x0(%rax,%rax,1)
0x3802b580 <vgPlain_mk_SysRes_x86_linux>:	cmp    $0xfffff000,%esi
0x3802b586 <vgPlain_mk_SysRes_x86_linux+6>:	mov    %esi,%eax
0x3802b588 <vgPlain_mk_SysRes_x86_linux+8>:	seta   %cl
0x3802b58b <vgPlain_mk_SysRes_x86_linux+11>:	xor    %edx,%edx
0x3802b58d <vgPlain_mk_SysRes_x86_linux+13>:	test   %cl,%cl
0x3802b58f <vgPlain_mk_SysRes_x86_linux+15>:	
    je     0x3802b597 <vgPlain_mk_SysRes_x86_linux+23>
0x3802b591 <vgPlain_mk_SysRes_x86_linux+17>:	neg    %esi
0x3802b593 <vgPlain_mk_SysRes_x86_linux+19>:	xor    %eax,%eax
0x3802b595 <vgPlain_mk_SysRes_x86_linux+21>:	mov    %esi,%edx
0x3802b597 <vgPlain_mk_SysRes_x86_linux+23>:	mov    %rax,(%rdi)
0x3802b59a <vgPlain_mk_SysRes_x86_linux+26>:	mov    %rdx,0x8(%rdi)
0x3802b59e <vgPlain_mk_SysRes_x86_linux+30>:	mov    %rdi,%rax
0x3802b5a1 <vgPlain_mk_SysRes_x86_linux+33>:	mov    %cl,0x10(%rdi)
0x3802b5a4 <vgPlain_mk_SysRes_x86_linux+36>:	retq