diff --git a/src/system/kernel/arch/x86/arch_debug.cpp b/src/system/kernel/arch/x86/arch_debug.cpp
index 476e5ba61a..62b9336416 100644
--- a/src/system/kernel/arch/x86/arch_debug.cpp
+++ b/src/system/kernel/arch/x86/arch_debug.cpp
@@ -287,7 +287,7 @@ print_demangled_call(const char* image, const char* symbol, addr_t args,
 		if (valueKnown && type == B_STRING_TYPE) {
 			if (value == 0)
 				kprintf(" \33[31m\"<NULL>\"\33[0m");
-			else if (debug_strlcpy(B_CURRENT_TEAM, buffer, (char*)value,
+			else if (debug_strlcpy(B_CURRENT_TEAM, buffer, (char*)(addr_t)value,
 					kBufferSize) < B_OK) {
 				kprintf(" \33[31m\"<???>\"\33[0m");
 			} else