Searched refs:VKI_CONFIG_OPEN_FILES (Results 1 – 2 of 2) sorted by relevance
1205 #define VKI_CONFIG_OPEN_FILES _CONFIG_OPEN_FILES macro
6323 if (ARG1 == VKI_CONFIG_OPEN_FILES)