diff --git a/kernel/src/thread/Spinlock.cpp b/kernel/src/thread/Spinlock.cpp
index d2f819d4..2db971c2 100644
--- a/kernel/src/thread/Spinlock.cpp
+++ b/kernel/src/thread/Spinlock.cpp
@@ -1,8 +1,8 @@
 #include "thread/Spinlock.h"
 
-extern "C" void spinlock_lock_acquire(uint64_t* lock);
-extern "C" void spinlock_lock_release(uint64_t* lock);
-extern "C" int spinlock_lock_is_locked(uint64_t* lock);
+extern "C" void spinlock_lock_acquire(volatile uint64_t* lock);
+extern "C" void spinlock_lock_release(volatile uint64_t* lock);
+extern "C" int spinlock_lock_is_locked(volatile uint64_t* lock);
 
 void Spinlock::acquire()
 {