#if (NTDDI_VERSION < NTDDI_WIN7) || !defined(NT_PROCESSOR_GROUPS)
FORCEINLINE
ULONG
-KeGetCurrentProcessorNumber(
- VOID)
-
+KeGetCurrentProcessorNumber(VOID)
{
return *((PUCHAR)KeGetPcr() + 0x580);
}
KeGetCurrentThread(VOID);
$endif
-
$if (_WDMDDK_)
+/** Kernel definitions for MIPS **/
#error MIPS Headers are totally incorrect
//
KeRaiseIrqlToSynchLevel(VOID);
$endif
-
$if (_WDMDDK_)
+/** Kernel definitions for PPC **/
/* Interrupt request levels */
#define PASSIVE_LEVEL 0
KeRaiseIrqlToSynchLevel(VOID);
$endif
-
-
}
$endif (_NTDDK_)
-
-
-
-