VALGRIND_DISCARD_TRANSLATIONS   69 src/ia32/cpu-ia32.cc #ifdef VALGRIND_DISCARD_TRANSLATIONS
VALGRIND_DISCARD_TRANSLATIONS   70 src/ia32/cpu-ia32.cc   unsigned res = VALGRIND_DISCARD_TRANSLATIONS(start, size);
VALGRIND_DISCARD_TRANSLATIONS   69 src/x64/cpu-x64.cc #ifdef VALGRIND_DISCARD_TRANSLATIONS
VALGRIND_DISCARD_TRANSLATIONS   70 src/x64/cpu-x64.cc   unsigned res = VALGRIND_DISCARD_TRANSLATIONS(start, size);