Index: kernel/generic/include/ddi/ddi.h
===================================================================
--- kernel/generic/include/ddi/ddi.h	(revision d7533c7a0181109196018556b0ffcb2435426ce2)
+++ kernel/generic/include/ddi/ddi.h	(revision efcebe1bce63b6779458eadc2fd6f252ab7cd703)
@@ -48,4 +48,6 @@
 	pfn_t frames;     /**< Number of frames in the area. */
 	bool unpriv;      /**< Allow mapping by unprivileged tasks. */
+	bool mapped;      /**< Indicate whether the area is actually
+	                       mapped. */
 } parea_t;