Searched refs:ksExit (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/benchmark/
H A Dbenchmark.c18 timestamp_t ksExit; variable
/seL4-l4v-10.1.1/seL4/src/benchmark/
H A Dbenchmark_track.c24 timestamp_t ksExit = timestamp(); local
30 duration = ksExit - ksEnter;
/seL4-l4v-10.1.1/seL4/src/arch/x86/benchmark/
H A Dbenchmark.c19 timestamp_t ksExit; variable
/seL4-l4v-10.1.1/seL4/include/benchmark/
H A Dbenchmark.h29 extern timestamp_t ksExit;
45 ksExit = timestamp();
52 id, ksExit - ksEntries[id]

Completed in 43 milliseconds