Home
last modified time | relevance | path

Searched refs:profiler_num_entries (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/machine/
A Dprofiler.c29 int profiler_num_entries; variable
93 profiler_num_entries = 0; in profiler_reset()
119 (int)profiler_num_entries, (int)samples); in profiler_list()
158 if (profiler_num_entries < (MAX_UNIQUE_INSTRUCTIONS / 4) * 3) { in profiler_record_sample()
161 profiler_num_entries++; in profiler_record_sample()
/seL4-master/include/machine/
A Dprofiler.h57 extern int profiler_num_entries;

Completed in 4 milliseconds