Searched refs:VKI_SYS_SENDMSG (Results 1 – 2 of 2) sorted by relevance
600 #define VKI_SYS_SENDMSG 16 /* sys_sendmsg(2) */ macro
4087 case VKI_SYS_SENDMSG: in PRE()4211 case VKI_SYS_SENDMSG: in POST()