Index: arch/ia32/include/atomic.h
===================================================================
--- arch/ia32/include/atomic.h	(revision 18e0a6cbb4a87376b6e5f46a009b38a9b0e50592)
+++ arch/ia32/include/atomic.h	(revision b60a22c46e392bc508919c7fe80729aa7c60cee7)
@@ -48,5 +48,5 @@
 }
 
-static inline int test_and_set(int *val) {
+static inline int test_and_set(volatile int *val) {
 	int v;
 	
@@ -62,5 +62,5 @@
 
 
-extern void spinlock_arch(int *val);
+extern void spinlock_arch(volatile int *val);
 
 #endif