1 $if (_WDMDDK_) 2 /** Kernel definitions for IA64 **/ 3 4 /* Interrupt request levels */ 5 #define PASSIVE_LEVEL 0 6 #define LOW_LEVEL 0 7 #define APC_LEVEL 1 8 #define DISPATCH_LEVEL 2 9 #define CMC_LEVEL 3 10 #define DEVICE_LEVEL_BASE 4 11 #define PC_LEVEL 12 12 #define IPI_LEVEL 14 13 #define DRS_LEVEL 14 14 #define CLOCK_LEVEL 13 15 #define POWER_LEVEL 15 16 #define PROFILE_LEVEL 15 17 #define HIGH_LEVEL 15 18 19 #define KI_USER_SHARED_DATA ((ULONG_PTR)(KADDRESS_BASE + 0xFFFE0000)) 20 extern NTKERNELAPI volatile LARGE_INTEGER KeTickCount; 21 22 #define PAUSE_PROCESSOR __yield(); 23 24 FORCEINLINE 25 VOID 26 KeFlushWriteBuffer(VOID) 27 { 28 __mf (); 29 return; 30 } 31 32 NTSYSAPI 33 PKTHREAD 34 NTAPI 35 KeGetCurrentThread(VOID); 36 37 $endif 38