diff --git a/headers/private/kernel/cpu.h b/headers/private/kernel/cpu.h
index 61b6b317e8..806cd8c5d8 100644
--- a/headers/private/kernel/cpu.h
+++ b/headers/private/kernel/cpu.h
@@ -8,8 +8,7 @@
 
 #include <smp.h>
 #include <timer.h>
-
-struct kernel_args;
+#include <kernel_args.h>
 
 
 /* CPU local data structure */