Index: kernel/generic/src/console/klog.c
===================================================================
--- kernel/generic/src/console/klog.c	(revision 454f1da77de2349b52f4bfe6ec9378202f3cdbda)
+++ kernel/generic/src/console/klog.c	(revision 29fc8e0691d4946bc31bc8c2db2b79cad328755b)
@@ -91,6 +91,4 @@
 
 	sysinfo_set_item_val("klog.faddr", NULL, (unative_t) faddr);
-	sysinfo_set_item_val("klog.fcolor", NULL, (unative_t)
-		PAGE_COLOR((uintptr_t) klog));
 	sysinfo_set_item_val("klog.pages", NULL, 1 << KLOG_ORDER);
 	sysinfo_set_item_val("klog.devno", NULL, devno);
Index: kernel/generic/src/ddi/ddi.c
===================================================================
--- kernel/generic/src/ddi/ddi.c	(revision 454f1da77de2349b52f4bfe6ec9378202f3cdbda)
+++ kernel/generic/src/ddi/ddi.c	(revision 29fc8e0691d4946bc31bc8c2db2b79cad328755b)
@@ -100,6 +100,5 @@
  * 	syscall, ENOENT if there is no task matching the specified ID or the
  * 	physical address space is not enabled for mapping and ENOMEM if there
- * 	was a problem in creating address space area. ENOTSUP is returned when
- * 	an attempt to create an illegal address alias is detected.
+ * 	was a problem in creating address space area.
  */
 static int ddi_physmem_map(uintptr_t pf, uintptr_t vp, count_t pages, int flags)
@@ -140,16 +139,4 @@
 		return ENOENT;
 	}
-
-#ifdef CONFIG_VIRT_IDX_DCACHE
-	if (PAGE_COLOR(parea->vbase) != PAGE_COLOR(vp)) {
-		/*
-		 * Refuse to create an illegal address alias.
-		 */
-		spinlock_unlock(&parea_lock);
-		interrupts_restore(ipl);
-		return ENOTSUP;
-	}
-#endif /* CONFIG_VIRT_IDX_DCACHE */
-
 	spinlock_unlock(&parea_lock);
 
Index: kernel/generic/src/lib/rd.c
===================================================================
--- kernel/generic/src/lib/rd.c	(revision 454f1da77de2349b52f4bfe6ec9378202f3cdbda)
+++ kernel/generic/src/lib/rd.c	(revision 29fc8e0691d4946bc31bc8c2db2b79cad328755b)
@@ -91,6 +91,4 @@
 	sysinfo_set_item_val("rd.address.physical", NULL, (unative_t)
 		KA2PA((void *) header + hsize));
-	sysinfo_set_item_val("rd.address.color", NULL, (unative_t)
-		PAGE_COLOR((uintptr_t) header + hsize));
 
 	return RE_OK;
Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 454f1da77de2349b52f4bfe6ec9378202f3cdbda)
+++ kernel/generic/src/mm/as.c	(revision 29fc8e0691d4946bc31bc8c2db2b79cad328755b)
@@ -614,6 +614,5 @@
  * or ENOMEM if there was a problem in allocating destination address space
  * area. ENOTSUP is returned if the address space area backend does not support
- * sharing or if the kernel detects an attempt to create an illegal address
- * alias.
+ * sharing.
  */
 int as_area_share(as_t *src_as, uintptr_t src_base, size_t acc_size,
@@ -667,18 +666,4 @@
 		return EPERM;
 	}
-
-#ifdef CONFIG_VIRT_IDX_DCACHE
-	if (!(dst_flags_mask & AS_AREA_EXEC)) {
-		if (PAGE_COLOR(src_area->base) != PAGE_COLOR(dst_base)) {
-			/*
-			 * Refuse to create an illegal address alias.
-			 */
-			mutex_unlock(&src_area->lock);
-			mutex_unlock(&src_as->lock);
-			interrupts_restore(ipl);
-			return ENOTSUP;
-		}
-	}
-#endif /* CONFIG_VIRT_IDX_DCACHE */
 
 	/*
@@ -902,7 +887,7 @@
 			 * ASID.
 			 */
-			 ASSERT(old_as->asid != ASID_INVALID);
-			 list_append(&old_as->inactive_as_with_asid_link,
-			     &inactive_as_with_asid_head);
+			ASSERT(old_as->asid != ASID_INVALID);
+			list_append(&old_as->inactive_as_with_asid_link,
+			    &inactive_as_with_asid_head);
 		}
 		mutex_unlock(&old_as->lock);
Index: kernel/generic/src/mm/backend_anon.c
===================================================================
--- kernel/generic/src/mm/backend_anon.c	(revision 454f1da77de2349b52f4bfe6ec9378202f3cdbda)
+++ kernel/generic/src/mm/backend_anon.c	(revision 29fc8e0691d4946bc31bc8c2db2b79cad328755b)
@@ -158,19 +158,4 @@
 		panic("Could not insert used space.\n");
 		
-#ifdef CONFIG_VIRT_IDX_DCACHE
-	if (dirty && PAGE_COLOR(PA2KA(frame)) != PAGE_COLOR(addr)) {
-		/*
-		 * By writing to the frame using kernel virtual address,
-		 * we have created an illegal virtual alias. We now have to
-		 * invalidate cachelines belonging to addr on all processors
-		 * so that they will be reloaded with the new content on next
-		 * read.
-		 */
-		dcache_flush_frame(addr, frame);
-		dcache_shootdown_start(DCACHE_INVL_FRAME, PAGE_COLOR(addr), frame);
-		dcache_shootdown_finalize();
-	}
-#endif
-
 	return AS_PF_OK;
 }
@@ -241,3 +226,2 @@
 /** @}
  */
-
Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 454f1da77de2349b52f4bfe6ec9378202f3cdbda)
+++ kernel/generic/src/mm/backend_elf.c	(revision 29fc8e0691d4946bc31bc8c2db2b79cad328755b)
@@ -209,19 +209,4 @@
 	if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1))
 		panic("Could not insert used space.\n");
-
-#ifdef CONFIG_VIRT_IDX_DCACHE
-	if (dirty && PAGE_COLOR(PA2KA(frame)) != PAGE_COLOR(addr)) {
-		/*
-		 * By writing to the frame using kernel virtual address,
-		 * we have created an illegal virtual alias. We now have to
-		 * invalidate cachelines belonging to addr on all processors
-		 * so that they will be reloaded with the new content on next
-		 * read.
-		 */
-		dcache_flush_frame(addr, frame);
-		dcache_shootdown_start(DCACHE_INVL_FRAME, PAGE_COLOR(addr), frame);
-		dcache_shootdown_finalize();
-	}
-#endif
 
 	return AS_PF_OK;
@@ -356,3 +341,2 @@
 /** @}
  */
-
Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision 454f1da77de2349b52f4bfe6ec9378202f3cdbda)
+++ kernel/generic/src/time/clock.c	(revision 29fc8e0691d4946bc31bc8c2db2b79cad328755b)
@@ -105,6 +105,4 @@
 	 */
 	sysinfo_set_item_val("clock.cacheable", NULL, (unative_t) true);
-	sysinfo_set_item_val("clock.fcolor", NULL, (unative_t)
-		PAGE_COLOR(clock_parea.vbase));
 	sysinfo_set_item_val("clock.faddr", NULL, (unative_t) faddr);
 }