Index: benchmark/io/readv.cfa
===================================================================
--- benchmark/io/readv.cfa	(revision 9791ab583604047f0117e3c8a46c7ab7914c7ba7)
+++ benchmark/io/readv.cfa	(revision 69fbc6164b2feaecf3c6adb2eedc0236a52d2eb6)
@@ -157,5 +157,5 @@
 				printf("Starting\n");
 				bool is_tty = isatty(STDOUT_FILENO);
-				start = getTime();
+				start = getTimeNsec();
 				run = true;
 
@@ -166,5 +166,5 @@
 
 				run = false;
-				end = getTime();
+				end = getTimeNsec();
 				printf("\nDone\n");
 			}