x

2a05dc1b · Nickolai Zeldovich · 39024ea6 · 2a05dc1b
--- a/mapbench.cc
+++ b/mapbench.cc
@@ -14,7 +14,7 @@ thr(void *arg)
 {
  u64 tid = (u64)arg;

-  for (int i = 0; i < 1000; i++) {
+  for (int i = 0; i < 10000; i++) {
    volatile char *p = (char*) (0x40000UL + tid * 8 * 4096);
    if (map((void *) p, 8 * 4096) < 0) {
      printf(1, "%d: map failed\n", tid);