sel4-sys 0.0.28

Rust interface to the seL4 kernel
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83

/*
 * Copyright 2014, General Dynamics C4 Systems
 *
 * This software may be distributed and modified according to the terms of
 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
 * See "LICENSE_GPLv2.txt" for details.
 *
 * @TAG(GD_GPL)
 */

/*
 * Profiler Interface
 *
 * 2006 - 2007  David Greenaway
 * 2007 Ported to seL4 C kernel by Philip Derrin
 */

#ifndef __MACHINE__PROFILER_H__
#define __MACHINE__PROFILER_H__

#include <machine/registerset.h>
#include <machine/hardware.h>

#ifdef PROFILER

/* Approximate number of unique addresses that we can record.
 *
 * This value corresponds to the size of a hash table, and needs
 * to be a prime number to ensure correctness.
 */
//#define MAX_UNIQUE_INSTRUCTIONS ((256 * 1024) + 3)  /* 262147 is prime */
/* Downsized to fit in the default 1M kernel section - davec */
#define MAX_UNIQUE_INSTRUCTIONS 94349

#define MAX_UNIQUE_CHECKPOINTS 2000

/* Record the given program counter */
void profiler_record_sample(word_t pc) VISIBLE;

/* Reset all counters */
void profiler_reset(void);

/* List the recorded values to stdout */
void profiler_list(void);

/* Should we be profiling the system? */
extern bool_t profiler_enabled;

/* Set the current status of the profiler */
static inline void profiler_set_enabled(bool_t enabled)
{
    profiler_enabled = enabled;
}

/* Get the current status of the profiler */
static inline bool_t profiler_is_enabled(void)
{
    return profiler_enabled;
}

/* Number of entries the profiler currently keeps track of */
extern int profiler_num_entries;

/* Number of instructions the profiler could not record */
extern long long profiler_dropped_instructions;

/* The instructions recorded by the profiler */
typedef struct {
    word_t pc;
    word_t count;
} profiler_entry_t;

#ifdef CHECKPOINT_PROFILER
extern volatile unsigned int checkpoint;
extern profiler_entry_t profiler_entries[MAX_UNIQUE_CHECKPOINTS];
#else
extern profiler_entry_t profiler_entries[MAX_UNIQUE_INSTRUCTIONS];
#endif

#endif /* PROFILER */

#endif /* !__MACHINE__PROFILER_H__ */