--- a/kernel/eka/kernel/ekern.mmp	Wed Mar 31 23:38:45 2010 +0300
+++ b/kernel/eka/kernel/ekern.mmp	Wed Apr 14 17:22:59 2010 +0300
@@ -50,6 +50,7 @@
 // we have to keep this here, and not in kern_int.mmh, because media drivers
 // use the same macro name for different puposes...
 macro __DEMAND_PAGING__
+macro __DEMAND_PAGING_BENCHMARKS__
 #endif