#include <internal/bitops.h>
#include <internal/halio.h>
#include <internal/ke.h>
+#include <internal/ps.h>
#define NDEBUG
#include <internal/debug.h>
}
-KIRQL
-STDCALL
-KeGetCurrentIrql (
- VOID
- )
+KIRQL STDCALL KeGetCurrentIrql (VOID)
/*
* PURPOSE: Returns the current irq level
* RETURNS: The current irq level