Searched refs:VKI_TNDB_FLUSH (Results 1 – 2 of 2) sorted by relevance
1282 #define VKI_TNDB_FLUSH TNDB_FLUSH macro
7350 if (ARG2 != VKI_TNDB_FLUSH)7359 if (ARG2 != VKI_TNDB_FLUSH)7427 case VKI_TNDB_FLUSH:7445 case VKI_TNDB_FLUSH:7460 case VKI_TNDB_FLUSH: