Home
last modified time | relevance | path

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

/seL4-master/include/benchmark/
A Dbenchmark.h23 extern bool_t ksStarted[CONFIG_MAX_NUM_TRACE_POINTS];
32 ksStarted[id] = true; in trace_point_start()
41 if (likely(ksStarted[id])) { in trace_point_stop()
42 ksStarted[id] = false; in trace_point_stop()
/seL4-master/src/arch/x86/benchmark/
A Dbenchmark.c14 bool_t ksStarted[CONFIG_MAX_NUM_TRACE_POINTS]; variable
/seL4-master/src/arch/arm/benchmark/
A Dbenchmark.c12 bool_t ksStarted[CONFIG_MAX_NUM_TRACE_POINTS]; variable

Completed in 6 milliseconds