Index: kernel/generic/include/ddi/ddi.h
===================================================================
--- kernel/generic/include/ddi/ddi.h	(revision 5a8b2a2e58c0aff599e30b00eed3a773ff644968)
+++ kernel/generic/include/ddi/ddi.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
@@ -40,6 +40,17 @@
 #include <typedefs.h>
 
-unative_t sys_physmem_map(unative_t phys_base, unative_t virt_base, unative_t pages, 
-			 unative_t flags);
+/** Structure representing contiguous physical memory area. */
+typedef struct {
+	uintptr_t pbase;	/**< Physical base of the area. */
+	uintptr_t vbase;	/**< Virtual base of the area. */
+	count_t frames;		/**< Number of frames in the area. */
+	bool cacheable;		/**< Cacheability. */
+} parea_t;
+
+extern void ddi_init(void);
+extern void ddi_parea_register(parea_t *parea);
+
+extern unative_t sys_physmem_map(unative_t phys_base, unative_t virt_base,
+	unative_t pages, unative_t flags);
 extern unative_t sys_iospace_enable(ddi_ioarg_t *uspace_io_arg);
 extern unative_t sys_preempt_control(int enable);
Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 5a8b2a2e58c0aff599e30b00eed3a773ff644968)
+++ kernel/generic/include/mm/as.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
@@ -95,9 +95,4 @@
 	asid_t asid;
 	
-#ifdef CONFIG_VIRT_IDX_DCACHE
-	bool dcache_flush_on_install;
-	bool dcache_flush_on_deinstall;
-#endif /* CONFIG_VIRT_IDX_DCACHE */
-
 	/** Architecture specific content. */
 	as_arch_t arch;
@@ -166,10 +161,4 @@
 	/** Data to be used by the backend. */
 	mem_backend_data_t backend_data;
-
-	/** 
-	 * Virtual color of the original address space area that was at the beginning
-	 * of the share chain.
-	 */
-	int orig_color; 
 };
 
Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision 5a8b2a2e58c0aff599e30b00eed3a773ff644968)
+++ kernel/generic/include/mm/page.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
@@ -71,5 +71,5 @@
  * Macro for computing page color.
  */
-#define PAGE_COLOR(va)		(((va) >> PAGE_WIDTH) & ((1 << PAGE_COLOR_BITS) - 1))
+#define PAGE_COLOR(va)	(((va) >> PAGE_WIDTH) & ((1 << PAGE_COLOR_BITS) - 1))
 
 /** Page fault access type. */
@@ -83,5 +83,6 @@
 /** Operations to manipulate page mappings. */
 struct page_mapping_operations {
-	void (* mapping_insert)(as_t *as, uintptr_t page, uintptr_t frame, int flags);
+	void (* mapping_insert)(as_t *as, uintptr_t page, uintptr_t frame, int
+		flags);
 	void (* mapping_remove)(as_t *as, uintptr_t page);
 	pte_t *(* mapping_find)(as_t *as, uintptr_t page);
@@ -94,5 +95,6 @@
 extern void page_table_lock(as_t *as, bool lock);
 extern void page_table_unlock(as_t *as, bool unlock);
-extern void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame, int flags);
+extern void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame, int
+	flags);
 extern void page_mapping_remove(as_t *as, uintptr_t page);
 extern pte_t *page_mapping_find(as_t *as, uintptr_t page);