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 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