Changes in kernel/generic/include/ddi/ddi.h [d7533c7:b366a6f4] in mainline

File:

• kernel/generic/include/ddi/ddi.h (modified) (1 diff)

kernel/generic/include/ddi/ddi.h

@@ -48 +48 @@
         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;