Index: kernel/arch/abs32le/include/arch/types.h
===================================================================
--- kernel/arch/abs32le/include/arch/types.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/arch/abs32le/include/arch/types.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -36,4 +36,6 @@
 #define KERN_abs32le_TYPES_H_
 
+#include <arch/common.h>
+
 #define ATOMIC_COUNT_MIN  UINT32_MIN
 #define ATOMIC_COUNT_MAX  UINT32_MAX
Index: kernel/arch/amd64/include/arch/types.h
===================================================================
--- kernel/arch/amd64/include/arch/types.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/arch/amd64/include/arch/types.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -36,4 +36,6 @@
 #define KERN_amd64_TYPES_H_
 
+#include <arch/common.h>
+
 typedef uint64_t size_t;
 typedef int64_t ssize_t;
Index: kernel/arch/arm32/include/arch/types.h
===================================================================
--- kernel/arch/arm32/include/arch/types.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/arch/arm32/include/arch/types.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -37,4 +37,6 @@
 #define KERN_arm32_TYPES_H_
 
+#include <arch/common.h>
+
 #ifndef DOXYGEN
 	#define ATTRIBUTE_PACKED __attribute__((packed))
Index: kernel/arch/ia32/include/arch/types.h
===================================================================
--- kernel/arch/ia32/include/arch/types.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/arch/ia32/include/arch/types.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -36,4 +36,6 @@
 #define KERN_ia32_TYPES_H_
 
+#include <arch/common.h>
+
 typedef uint32_t size_t;
 typedef int32_t ssize_t;
Index: kernel/arch/ia64/include/arch/types.h
===================================================================
--- kernel/arch/ia64/include/arch/types.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/arch/ia64/include/arch/types.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -36,4 +36,6 @@
 #define KERN_ia64_TYPES_H_
 
+#include <arch/common.h>
+
 typedef uint64_t size_t;
 typedef int64_t ssize_t;
Index: kernel/arch/mips32/include/arch/types.h
===================================================================
--- kernel/arch/mips32/include/arch/types.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/arch/mips32/include/arch/types.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -36,4 +36,6 @@
 #define KERN_mips32_TYPES_H_
 
+#include <arch/common.h>
+
 typedef uint32_t size_t;
 typedef int32_t ssize_t;
Index: kernel/arch/mips32/src/debug/stacktrace.c
===================================================================
--- kernel/arch/mips32/src/debug/stacktrace.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/arch/mips32/src/debug/stacktrace.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -62,4 +62,5 @@
 
 #include <stacktrace.h>
+#include <stddef.h>
 #include <syscall/copy.h>
 #include <typedefs.h>
Index: kernel/arch/mips32/src/machine_func.c
===================================================================
--- kernel/arch/mips32/src/machine_func.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/arch/mips32/src/machine_func.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -38,4 +38,5 @@
  */
 
+#include <stddef.h>
 #include <arch/machine_func.h>
 #if defined(MACHINE_msim)
Index: kernel/arch/ppc32/include/arch/types.h
===================================================================
--- kernel/arch/ppc32/include/arch/types.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/arch/ppc32/include/arch/types.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -36,4 +36,6 @@
 #define KERN_ppc32_TYPES_H_
 
+#include <arch/common.h>
+
 typedef uint32_t size_t;
 typedef int32_t ssize_t;
Index: kernel/arch/riscv64/include/arch/types.h
===================================================================
--- kernel/arch/riscv64/include/arch/types.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/arch/riscv64/include/arch/types.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -36,4 +36,6 @@
 #define KERN_riscv64_TYPES_H_
 
+#include <arch/common.h>
+
 typedef uint64_t size_t;
 typedef int64_t ssize_t;
Index: kernel/arch/sparc64/include/arch/types.h
===================================================================
--- kernel/arch/sparc64/include/arch/types.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/arch/sparc64/include/arch/types.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -36,4 +36,6 @@
 #define KERN_sparc64_TYPES_H_
 
+#include <arch/common.h>
+
 typedef uint64_t size_t;
 typedef int64_t ssize_t;