kernel/eka/include/nkern/nk_trace.h
branchRCL_3
changeset 44 3e88ff8f41d5
parent 43 c1f20ce4abcf
--- a/kernel/eka/include/nkern/nk_trace.h	Tue Aug 31 16:34:26 2010 +0300
+++ b/kernel/eka/include/nkern/nk_trace.h	Wed Sep 01 12:34:56 2010 +0100
@@ -360,11 +360,6 @@
 */
 #define KPIPE	58 //0x04000000, index 1
 
-/**
-@internalComponent
-*/
-#define KSCHED3	48 //0x00010000, index 1
-
 // RESERVED: Trace bits 192 - 255 are reserved for licensee partners
 
 
@@ -445,15 +440,7 @@
  */
 #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 */