blob: efc1fd7b00851a2a5e6953adde1a3d8217541bc9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
#ifndef _GCOV_H_
#define _GCOV_H_
#include <xen/guest_access.h>
#include <xen/types.h>
/*
* Profiling data types used for gcc 3.4 and above - these are defined by
* gcc and need to be kept as close to the original definition as possible to
* remain compatible.
*/
#define GCOV_DATA_MAGIC ((unsigned int)0x67636461)
#define GCOV_TAG_FUNCTION ((unsigned int)0x01000000)
#define GCOV_TAG_COUNTER_BASE ((unsigned int)0x01a10000)
#define GCOV_TAG_FOR_COUNTER(count) \
GCOV_TAG_COUNTER_BASE + ((unsigned int)(count) << 17)
#define GCC_VERSION (__GNUC__ * 10000 \
+ __GNUC_MINOR__ * 100 \
+ __GNUC_PATCHLEVEL__)
#if BITS_PER_LONG >= 64
typedef long gcov_type;
#else
typedef long long gcov_type;
#endif
/* Opaque gcov_info -- tied to specific gcc gcov formats */
struct gcov_info;
void gcov_info_link(struct gcov_info *info);
struct gcov_info *gcov_info_next(const struct gcov_info *info);
void gcov_info_reset(struct gcov_info *info);
const char *gcov_info_filename(const struct gcov_info *info);
size_t gcov_info_to_gcda(char *buffer, const struct gcov_info *info);
size_t gcov_store_uint32(void *buffer, size_t off, uint32_t v);
size_t gcov_store_uint64(void *buffer, size_t off, uint64_t v);
#endif /* _GCOV_H_ */
|
