Home
last modified time | relevance | path

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

/seL4-master/src/machine/
A Dprofiler.c47 profiler_entries[i].pc = 0; in profiler_reset()
48 profiler_entries[i].count = 0; in profiler_reset()
62 if (profiler_entries[i].pc != 0) { in profiler_list()
78 if (!profiler_entries[checkpoint].pc) { in profiler_record_sample()
79 profiler_entries[checkpoint].pc = 1; in profiler_record_sample()
81 profiler_entries[checkpoint].count++; in profiler_record_sample()
90 profiler_entries[i].pc = 0; in profiler_reset()
91 profiler_entries[i].count = 0; in profiler_reset()
110 if (profiler_entries[i].pc != 0) { in profiler_list()
149 if (profiler_entries[hash].pc == pc) { in profiler_record_sample()
[all …]
/seL4-master/include/machine/
A Dprofiler.h70 extern profiler_entry_t profiler_entries[MAX_UNIQUE_CHECKPOINTS];
72 extern profiler_entry_t profiler_entries[MAX_UNIQUE_INSTRUCTIONS];

Completed in 3 milliseconds