0xb7f13410 <__kernel_vsyscall+16>:	pop    %ebp
0xb7f13411 <__kernel_vsyscall+17>:	pop    %edx
0xb7f13412 <__kernel_vsyscall+18>:	pop    %ecx
0xb7f13413 <__kernel_vsyscall+19>:	ret    
0xb7f13414:	nop    
0xb7f13415:	nop    
0xb7f13416:	nop    
0xb7f13417:	nop    
0xb7f13418:	nop    
0xb7f13419:	nop    
0xb7f1341a:	nop    
0xb7f1341b:	nop    
0xb7f1341c:	nop    
0xb7f1341d:	nop    
0xb7f1341e:	nop    
0xb7f1341f:	nop