1 /*
2  *  This code provides functions to handle gcc's profiling data format
3  *  introduced with gcc 4.7.
4  *
5  *  For a better understanding, refer to gcc source:
6  *  gcc/gcov-io.h
7  *  libgcc/libgcov.c
8  *
9  *  Uses gcc-internal data definitions.
10  *
11  *  Imported from Linux and modified for Xen by
12  *    Wei Liu <wei.liu2@citrix.com>
13  */
14 
15 #include "gcov.h"
16 
17 #if !(GCC_VERSION >= 40900 && GCC_VERSION < 50000)
18 #error "Wrong version of GCC used to compile gcov"
19 #endif
20 
21 #define GCOV_COUNTERS 9
22 
23 #include "gcc_4_7.c"
24 
25 /*
26  * Local variables:
27  * mode: C
28  * c-file-style: "BSD"
29  * c-basic-offset: 4
30  * tab-width: 4
31  * indent-tabs-mode: nil
32  * End:
33  */
34