--- a/kerneltest/f32test/demandpaging/t_nandpaging.cpp	Mon Jul 19 08:40:05 2010 +0100
+++ b/kerneltest/f32test/demandpaging/t_nandpaging.cpp	Mon Jul 19 14:32:36 2010 +0100
@@ -356,7 +356,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)
 			{
@@ -382,7 +382,7 @@
 					}
 				PagedTrashCount++;
 				if (RandomNo & 1)
-					User::AfterHighRes(500+Random() & 2047);
+					User::AfterHighRes((500+Random()) & 2047);
 				}
 			}
 	
@@ -671,7 +671,7 @@
 				TInt tries = 10;
 				do { // If we get zero hits, maybe the page hasnt hit yet.
 					tries--;
-					User::AfterHighRes(1000+Random() & 2047);  // Throw some uncertainly into things
+					User::AfterHighRes((1000+Random()) & 2047);  // Throw some uncertainly into things
 				
 					TPtr8 statsBuf((TUint8*) &stats, sizeof(stats));
 			 		r = Drive.ControlIO(KNandGetDeferStats,statsBuf,0);