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
7
void
debug_verrou_start_instrumentation() {
8
#ifdef HAVE_VERROU
9
VERROU_START_INSTRUMENTATION;
10
#endif
11
}
12
13
void
debug_verrou_stop_instrumentation() {
14
#ifdef HAVE_VERROU
15
VERROU_STOP_INSTRUMENTATION;
16
#endif
17
}
config.h
basic
debug_low.c
Generated on Fri Nov 22 2024 10:43:11 for Octopus by
1.9.4