Home
last modified time | relevance | path

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

/seL4-master/src/machine/
A Dprofiler.c32 long long profiler_dropped_instructions; variable
94 profiler_dropped_instructions = 0; in profiler_reset()
120 if (profiler_dropped_instructions > 0) { in profiler_list()
122 (int)profiler_dropped_instructions); in profiler_list()
165 profiler_dropped_instructions++; in profiler_record_sample()
/seL4-master/include/machine/
A Dprofiler.h60 extern long long profiler_dropped_instructions;

Completed in 3 milliseconds