It's quite likely that he was using `perf': $ perf stat make ... 116,222 page-fa...

		apw on May 2, 2014 \| parent \| context \| favorite \| on: The cost of Linux's page fault handling It's quite likely that he was using `perf': `$ perf stat make ... 116,222 page-faults # 0.046 M/sec ...` https://perf.wiki.kernel.org/index.php/Tutorial