Searched defs:ksEntries (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/benchmark/
H A Dbenchmark.c16 timestamp_t ksEntries[CONFIG_MAX_NUM_TRACE_POINTS]; variable
/seL4-l4v-10.1.1/seL4/src/arch/x86/benchmark/
H A Dbenchmark.c17 timestamp_t ksEntries[CONFIG_MAX_NUM_TRACE_POINTS]; variable

Completed in 30 milliseconds