debug_low.c

Go to the documentation of this file.

#include <config.h>
 
#ifdef HAVE_VERROU
#include <valgrind/verrou.h>
#endif
 
void debug_verrou_start_instrumentation() {
#ifdef HAVE_VERROU
    VERROU_START_INSTRUMENTATION;
#endif
}
 
void debug_verrou_stop_instrumentation() {
#ifdef HAVE_VERROU
    VERROU_STOP_INSTRUMENTATION;
#endif
}