OSDI Microbenchmarks
[akaros.git] / tests / tsc_spitter.c
1 #include <stdlib.h>
2 #include <rstdio.h>
3 #include <arch/arch.h>
4
5 int main(int argc, char** argv)
6 {
7         printf("[T]:004:M:%llu\n", read_tsc());
8         return 0;
9 }