Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 34ae0a59ac38f9f0c42422df75a6ae4d5337dde5)
+++ kernel/generic/include/mm/as.h	(revision 2f33fbc9504dfbfbeb2d4827e8753b7428860b26)
@@ -68,12 +68,15 @@
 #define AS_AREA_ATTR_PARTIAL  1  /**< Not fully initialized area. */
 
+/** The page fault was resolved by as_page_fault(). */
+#define AS_PF_OK     0 
+
+/** The page fault was caused by memcpy_from_uspace() or memcpy_to_uspace(). */
+#define AS_PF_DEFER  1
+
 /** The page fault was not resolved by as_page_fault(). */
-#define AS_PF_FAULT  0
-
-/** The page fault was resolved by as_page_fault(). */
-#define AS_PF_OK  1
-
-/** The page fault was caused by memcpy_from_uspace() or memcpy_to_uspace(). */
-#define AS_PF_DEFER  2
+#define AS_PF_FAULT  2
+
+/** The page fault was not resolved by as_page_fault(). Non-verbose version. */
+#define AS_PF_SILENT 3
 
 /** Address space structure.
Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 34ae0a59ac38f9f0c42422df75a6ae4d5337dde5)
+++ kernel/generic/include/proc/task.h	(revision 2f33fbc9504dfbfbeb2d4827e8753b7428860b26)
@@ -134,7 +134,4 @@
 	uint64_t ucycles;
 	uint64_t kcycles;
-
-	/** If true, do not attempt to print a verbose kill message. */ 
-	bool silent_kill;
 } task_t;