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