Barrelfish
Functions
bench_arch.c File Reference

Bench library initialization. More...

Functions

void bench_arch_init (void)
 Check if rdtscp instruction is supported.
 

Detailed Description

Bench library initialization.