Searched refs:VKI_SYS_GETSOCKNAME (Results 1 – 3 of 3) sorted by relevance
1085 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_GETSOCKNAME, (UWord)&args); in VG_()
590 #define VKI_SYS_GETSOCKNAME 6 /* sys_getsockname(2) */ macro
4070 case VKI_SYS_GETSOCKNAME: in PRE()4198 case VKI_SYS_GETSOCKNAME: in POST()