Searched refs:CONFIG_MAX_NUM_TRACE_POINTS (Results 1 - 5 of 5) sorted by relevance

/seL4-mcs-10.1.1/src/arch/arm/benchmark/
H A Dbenchmark.c11 #if CONFIG_MAX_NUM_TRACE_POINTS > 0
16 timestamp_t ksEntries[CONFIG_MAX_NUM_TRACE_POINTS];
17 bool_t ksStarted[CONFIG_MAX_NUM_TRACE_POINTS];
22 #endif /* CONFIG_MAX_NUM_TRACE_POINTS > 0 */
/seL4-mcs-10.1.1/src/arch/x86/benchmark/
H A Dbenchmark.c11 #if CONFIG_MAX_NUM_TRACE_POINTS > 0
17 timestamp_t ksEntries[CONFIG_MAX_NUM_TRACE_POINTS];
18 bool_t ksStarted[CONFIG_MAX_NUM_TRACE_POINTS];
23 #endif /* CONFIG_MAX_NUM_TRACE_POINTS > 0 */
/seL4-mcs-10.1.1/include/
H A Dconfig.h72 #ifndef CONFIG_MAX_NUM_TRACE_POINTS
73 #define CONFIG_MAX_NUM_TRACE_POINTS 0 macro
/seL4-mcs-10.1.1/include/benchmark/
H A Dbenchmark.h21 #if CONFIG_MAX_NUM_TRACE_POINTS > 0
27 extern timestamp_t ksEntries[CONFIG_MAX_NUM_TRACE_POINTS];
28 extern bool_t ksStarted[CONFIG_MAX_NUM_TRACE_POINTS];
69 #endif /* CONFIG_MAX_NUM_TRACE_POINTS > 0 */
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/
H A Dvspace.c241 #if CONFIG_MAX_NUM_TRACE_POINTS > 0

Completed in 39 milliseconds