Changes in kernel/generic/include/ddi/ddi.h [b366a6f4:d7533c7] 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;