include/xdk/ia64/ke.h

   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 volatile LARGE_INTEGER KeTickCount;
  21
  22 FORCEINLINE
  23 VOID
  24 KeFlushWriteBuffer(VOID)
  25 {
  26   __mf ();
  27   return;
  28 }
  29
  30 NTSYSAPI
  31 PKTHREAD
  32 NTAPI
  33 KeGetCurrentThread(
  34   VOID);
  35
  36 $endif
  37