--- a/kerneltest/f32test/demandpaging/t_pagestress.cpp	Thu Dec 17 09:24:54 2009 +0200
+++ b/kerneltest/f32test/demandpaging/t_pagestress.cpp	Thu Jan 07 13:38:45 2010 +0200
@@ -71,6 +71,7 @@
 RTest test(_L("T_PAGESTRESS"));
 
 #include <e32rom.h>
+#include <e32svr.h>
 #include <u32hal.h>
 #include <f32file.h>
 #include <f32dbg.h>