CLOCK_TYPE         64 test/monitoring/test_overhead.c #if defined(CLOCK_TYPE)
CLOCK_TYPE         65 test/monitoring/test_overhead.c     clock_gettime(CLOCK_TYPE, t);