KefReleaseSpinLockFromDpcLevel needs the address of a spinlock and not its value.
Modified: trunk/reactos/ntoskrnl/ke/i386/ctxswitch.S

Modified: trunk/reactos/ntoskrnl/ke/i386/ctxswitch.S
--- trunk/reactos/ntoskrnl/ke/i386/ctxswitch.S	2006-01-05 12:27:03 UTC (rev 20571)
+++ trunk/reactos/ntoskrnl/ke/i386/ctxswitch.S	2006-01-05 12:48:33 UTC (rev 20572)
@@ -247,7 +247,7 @@
 
     /* Return */
 //#ifdef CONFIG_SMP
-    mov ecx, _DispatcherDatabaseLock
+    mov ecx, offset _DispatcherDatabaseLock
     call @KefReleaseSpinLockFromDpcLevel@4
 //#endif
     ret