Searched refs:VKI_PORT_SENDN (Results 1 – 2 of 2) sorted by relevance
662 #define VKI_PORT_SENDN PORT_SENDN macro
7207 case VKI_PORT_SENDN:7253 if ((opcode != VKI_PORT_CREATE && opcode != VKI_PORT_SENDN) &&7274 case VKI_PORT_SENDN: