Searched refs:microbenchmarks_run_all (Results 1 - 3 of 3) sorted by last modified time

/barrelfish-2018-10-04/kernel/
H A Dmicrobenchmarks.c81 void microbenchmarks_run_all(void) function
/barrelfish-2018-10-04/kernel/include/
H A Dmicrobenchmarks.h29 void microbenchmarks_run_all(void);
/barrelfish-2018-10-04/kernel/arch/x86/
H A Dstartup_x86.c477 microbenchmarks_run_all();

Completed in 47 milliseconds