A couple of header fixes to get all the FreeLDR-loaded boot drivers to compile and...

[reactos.git] / reactos / include / reactos / armddk.h

diff --git a/reactos/include/reactos/armddk.h b/reactos/include/reactos/armddk.h
index 4110279..8775eff 100644 (file)
--- a/reactos/include/reactos/armddk.h
+++ b/reactos/include/reactos/armddk.h
@@ -22,6 +22,11 @@
 #define PCR                     ((volatile KPCR * const)USPCR)
 #define USERPCR                 ((volatile KPCR * const)KIPCR)
 
+//
+// Just read it from the PCR
+//
+#define KeGetCurrentProcessorNumber() ((ULONG)(PCR->Number))
+
 //
 // Stub
 //
@@ -100,4 +105,25 @@ struct _TEB* NtCurrentTeb(VOID)
     return (struct _TEB*)USERPCR->Teb;
 }
 
+//
+// IRQL Support on ARM is similar to MIPS/ALPHA
+//
+KIRQL
+KeSwapIrql(
+    IN KIRQL NewIrql
+);
+
+KIRQL
+KeRaiseIrqlToSynchLevel(
+    VOID
+);
+
+KIRQL
+KeRaiseIrqlToDpcLevel(
+    VOID
+);
+
+#define KeLowerIrql(NewIrql) KeSwapIrql(NewIrql)
+#define KeRaiseIrql(NewIrql, OldIrql) *(OldIrql) = KeSwapIrql(NewIrql)
+
 #endif