0x38026582 <do_syscall_WRK+34>:	pop    %ebp
0x38026583 <do_syscall_WRK+35>:	pop    %ebx
0x38026584 <do_syscall_WRK+36>:	pop    %edi
0x38026585 <do_syscall_WRK+37>:	pop    %esi
0x38026586 <do_syscall_WRK+38>:	ret    
0x38026587 <vgPlain_mk_SysRes_x86_linux>:	push   %ebp
0x38026588 <vgPlain_mk_SysRes_x86_linux+1>:	mov    %esp,%ebp
0x3802658a <vgPlain_mk_SysRes_x86_linux+3>:	push   %ebx
0x3802658b <vgPlain_mk_SysRes_x86_linux+4>:	mov    0x8(%ebp),%ebx
0x3802658e <vgPlain_mk_SysRes_x86_linux+7>:	mov    0xc(%ebp),%ecx
0x38026591 <vgPlain_mk_SysRes_x86_linux+10>:	cmp    $0xfffff000,%ecx
0x38026597 <vgPlain_mk_SysRes_x86_linux+16>:	seta   %al
0x3802659a <vgPlain_mk_SysRes_x86_linux+19>:	mov    %ecx,%edx
0x3802659c <vgPlain_mk_SysRes_x86_linux+21>:	test   %al,%al
0x3802659e <vgPlain_mk_SysRes_x86_linux+23>:	
    je     0x380265a4 <vgPlain_mk_SysRes_x86_linux+29>
0x380265a0 <vgPlain_mk_SysRes_x86_linux+25>:	mov    %ecx,%edx