Octopus
debug_low.c
Go to the documentation of this file.
1#include <config.h>
2
3#ifdef HAVE_VERROU
4#include <valgrind/verrou.h>
5#endif
6
7void debug_verrou_start_instrumentation() {
8#ifdef HAVE_VERROU
9 VERROU_START_INSTRUMENTATION;
10#endif
11}
12
13void debug_verrou_stop_instrumentation() {
14#ifdef HAVE_VERROU
15 VERROU_STOP_INSTRUMENTATION;
16#endif
17}