Searched refs:VKI_PORT_CREATE (Results 1 – 2 of 2) sorted by relevance
658 #define VKI_PORT_CREATE PORT_CREATE macro
7164 case VKI_PORT_CREATE:7253 if ((opcode != VKI_PORT_CREATE && opcode != VKI_PORT_SENDN) &&7262 case VKI_PORT_CREATE: