diff -r 4122176ea935 -r 56f325a607ea kernel/eka/memmodel/epoc/flexible/mmu/arm/xmmu.cpp
--- a/kernel/eka/memmodel/epoc/flexible/mmu/arm/xmmu.cpp	Mon Dec 21 16:14:42 2009 +0000
+++ b/kernel/eka/memmodel/epoc/flexible/mmu/arm/xmmu.cpp	Wed Dec 23 11:43:31 2009 +0000
@@ -913,7 +913,7 @@
 	TPde* pd = Mmu::PageDirectory(osAsid);
 	TInt pdeIndex = aAddr>>KChunkShift;
 	TPde pde = pd[pdeIndex];
-	pde = (pde&~(0xf<<5))|(KIPCAliasDomain<<5); // change domain for PDE
+	pde = PDE_IN_DOMAIN(pde, KIPCAliasDomain);	// change domain for PDE
 	// Get os asid, this is the current thread's process so no need for reference.
 	TUint32 local_asid = ((DMemModelProcess*)iOwningProcess)->OsAsid();
 #ifdef __SMP__