--- a/kernel/eka/nkern/arm/ncsched.cia	Fri Jun 11 17:54:34 2010 +0100
+++ b/kernel/eka/nkern/arm/ncsched.cia	Fri Jun 11 17:56:35 2010 +0100
@@ -895,7 +895,7 @@
 	__JUMP(,lr);
 
 	asm("__PendingDfcQueue: ");
-	asm(".word %a0" : : "i" ((TInt)&TheScheduler.iDfcs));
+	asm(".word %a0" : : "i" (&TheScheduler.iDfcs));
 	}
 
 
@@ -1850,7 +1850,7 @@
 	asm("__TheScheduler: ");
 	asm(".word TheScheduler ");
 	asm("__SystemLock: ");
-	asm(".word %a0" : : "i" ((TInt)&TheScheduler.iLock));
+	asm(".word %a0" : : "i" (&TheScheduler.iLock));
 #ifdef BTRACE_CPU_USAGE
 	asm("context_switch_trace_header:");
 	asm(".word %a0" : : "i" ((TInt)(8<<BTrace::ESizeIndex) + (BTrace::EContextIdPresent<<BTrace::EFlagsIndex*8) + (BTrace::ECpuUsage<<BTrace::ECategoryIndex*8) + (BTrace::ENewThreadContext<<BTrace::ESubCategoryIndex*8)) );
@@ -2308,7 +2308,7 @@
 	asm("ldr pc, [sp], #4 ");
 
 	asm("__RescheduleNeededFlag: ");
-	asm(".word %a0" : : "i" ((TInt)&TheScheduler.iRescheduleNeededFlag));
+	asm(".word %a0" : : "i" (&TheScheduler.iRescheduleNeededFlag));
 	}