0xb7efd410 <__kernel_vsyscall+16>:	pop    %ebp
0xb7efd411 <__kernel_vsyscall+17>:	pop    %edx
0xb7efd412 <__kernel_vsyscall+18>:	pop    %ecx
0xb7efd413 <__kernel_vsyscall+19>:	ret    
0xb7efd414:	nop    
0xb7efd415:	nop    
0xb7efd416:	nop    
0xb7efd417:	nop    
0xb7efd418:	nop    
0xb7efd419:	nop    
0xb7efd41a:	nop    
0xb7efd41b:	nop    
0xb7efd41c:	nop    
0xb7efd41d:	nop    
0xb7efd41e:	nop    
0xb7efd41f:	nop