1  /*
2   *  This code provides functions to handle gcc's profiling data format
3   *  introduced with gcc 5.
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 < 50000 || GCC_VERSION >= 70000
18  #error "Wrong version of GCC used to compile gcov"
19  #endif
20  
21  #define GCOV_COUNTERS 10
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