Searched refs:VKI_PORT_GETN (Results 1 – 2 of 2) sorted by relevance
729 #define VKI_PORT_GETN PORT_GETN macro
7717 case VKI_PORT_GETN:7777 case VKI_PORT_GETN: