Searched refs:VKI_SI_SET_SRCP_DOMAIN (Results 1 – 2 of 2) sorted by relevance
1224 #define VKI_SI_SET_SRCP_DOMAIN SI_SET_SRPC_DOMAIN macro
6354 case VKI_SI_SET_SRCP_DOMAIN:6367 if (ARG1 != VKI_SI_SET_HOSTNAME && ARG1 != VKI_SI_SET_SRCP_DOMAIN)