--- a/kerneltest/f32test/demandpaging/t_mmcpaging.cpp	Mon Jul 19 08:40:05 2010 +0100
+++ b/kerneltest/f32test/demandpaging/t_mmcpaging.cpp	Mon Jul 19 14:32:36 2010 +0100
@@ -350,7 +350,7 @@
 		{
 		TInt r=UserSvr::HalFunction(EHalGroupVM,EVMHalFlushCache,0,0);
 		if (Random() & 1)
-			User::AfterHighRes(500+Random() & 2047);
+			User::AfterHighRes((500+Random()) & 2047);
 
 		if (r<0)
 			{
@@ -376,7 +376,7 @@
 					}
 				PagedTrashCount++;
 				if (RandomNo & 1)
-					User::AfterHighRes(500+Random() & 2047);
+					User::AfterHighRes((500+Random()) & 2047);
 				}
 			}