diff --git a/src/system/kernel/locks/user_mutex.cpp b/src/system/kernel/locks/user_mutex.cpp
index 94dab1e795..c925d53ec9 100644
--- a/src/system/kernel/locks/user_mutex.cpp
+++ b/src/system/kernel/locks/user_mutex.cpp
@@ -35,7 +35,7 @@ struct UserMutexHashDefinition {
 	typedef phys_addr_t		KeyType;
 	typedef UserMutexEntry	ValueType;
 
-	size_t HashKey(addr_t key) const
+	size_t HashKey(phys_addr_t key) const
 	{
 		return key >> 2;
 	}