Home
last modified time | relevance | path

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

/seL4-master/src/machine/
A Dprofiler.c55 unsigned int samples, i, count; in profiler_list() local
59 samples = 0; in profiler_list()
64 samples += profiler_entries[i].count; in profiler_list()
69 printf("%u checkpoints, %u sample(s)\n", count, samples); in profiler_list()
102 long long samples; in profiler_list() local
108 samples = 0; in profiler_list()
113 samples += profiler_entries[i].count; in profiler_list()
119 (int)profiler_num_entries, (int)samples); in profiler_list()

Completed in 2 milliseconds