4 /* GENERAL DEFINITIONS ****************************************************/
9 #define _WIN32_WINNT 0x0400
12 #include <ddk/kedef.h>
13 #include <ddk/iodef.h>
16 * PURPOSE: Number of a thread priority levels
18 #define NR_PRIORITY_LEVELS (32)
21 * PURPOSE: Type of queue to insert a work item in
27 HyperCriticalWorkQueue,
31 * Types of memory to allocate
37 NonPagedPoolMustSucceed,
38 NonPagedPoolCacheAligned = 4,
39 PagedPoolCacheAligned,
40 NonPagedPoolCacheAlignedMustS,
45 * PURPOSE: Object attributes
52 OBJ_CASE_INSENSITIVE = 0x40,
55 OBJ_VALID_ATTRIBUTES = 0x1F2,
59 * PURPOSE: Timer types
68 * PURPOSE: Some drivers use these
77 * PURPOSE: Arguments to MmProbeAndLockPages
86 #define MAXIMUM_VOLUME_LABEL_LENGTH (32)
88 #include <ddk/i386/irql.h>
90 #define PASSIVE_LEVEL 0 // Passive release level
91 #define LOW_LEVEL 0 // Lowest interrupt level
92 #define APC_LEVEL 1 // APC interrupt level
93 #define DISPATCH_LEVEL 2 // Dispatcher level
94 /* timer used for profiling */
95 #define PROFILE_LEVEL 27
96 /* Interval clock 1 level - Not used on x86 */
97 #define CLOCK1_LEVEL 28
98 #define CLOCK2_LEVEL 28 // Interval clock 2 level
99 #define IPI_LEVEL 29 // Interprocessor interrupt level
100 #define POWER_LEVEL 30 // Power failure level
101 #define HIGH_LEVEL 31 // Highest interrupt level
102 #define SYNCH_LEVEL (IPI_LEVEL-1) // synchronization level
106 /* Values returned by KeGetPreviousMode() */
107 #define KernelMode (0)
110 #endif /* ndef _DDK_DEFINES_H */