diff --git a/headers/private/kernel/ktypes.h b/headers/private/kernel/ktypes.h
index cb3423f938..5cde4871d6 100755
--- a/headers/private/kernel/ktypes.h
+++ b/headers/private/kernel/ktypes.h
@@ -14,6 +14,7 @@ extern "C" {
 typedef int32  region_id;
 typedef int32  aspace_id;
 typedef uint32 addr;
+typedef uint32 addr_t;
 
 #ifdef __cplusplus
 }