Searched refs:VKI_TNDB_FLUSH (Results 1 – 2 of 2) sorted by relevance
1357 #define VKI_TNDB_FLUSH TNDB_FLUSH macro
7863 if (ARG2 != VKI_TNDB_FLUSH)7872 if (ARG2 != VKI_TNDB_FLUSH)7940 case VKI_TNDB_FLUSH:7958 case VKI_TNDB_FLUSH:7973 case VKI_TNDB_FLUSH: