Searched refs:VKI_SYS_SENDTO (Results 1 – 2 of 2) sorted by relevance
595 #define VKI_SYS_SENDTO 11 /* sys_sendto(2) */ macro
4013 case VKI_SYS_SENDTO: in PRE()4170 case VKI_SYS_SENDTO: in POST()