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

/seL4-master/include/benchmark/
A D	benchmark_utilisation.h	52 static inline void benchmark_utilisation_finalise(void) in benchmark_utilisation_finalise() function
/seL4-master/src/api/
A D	syscall.c	231 benchmark_utilisation_finalise(); in handleUnknownSyscall()

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023