--- a/kernel/eka/include/nkern/nk_trace.h	Thu Aug 19 11:14:22 2010 +0300
+++ b/kernel/eka/include/nkern/nk_trace.h	Tue Aug 31 16:34:26 2010 +0300
@@ -360,6 +360,11 @@
 */
 #define KPIPE	58 //0x04000000, index 1
 
+/**
+@internalComponent
+*/
+#define KSCHED3	48 //0x00010000, index 1
+
 // RESERVED: Trace bits 192 - 255 are reserved for licensee partners
 
 
@@ -440,7 +445,15 @@
  */
 #define KCRAZYSCHEDDELAY 69 //0x00000020, index 2
 
+/**
+Force page faults on kernel access to paged user-side data in a remote thread.
 
+This is designed to help show up problems with device drivers that are not paging safe.
+
+@internalComponent
+@prototype
+*/
+#define KFORCEKUPAGEFAULTS		70 //0x00000040, index 2
 
 /* Word 3 of debug mask : configures user library behaviour */