From 5028c44913030a095a15a5d072ff3d5ad05c3feb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Axel=20D=C3=B6rfler?= <axeld@pinc-software.de>
Date: Wed, 8 Oct 2003 00:17:24 +0000
Subject: [PATCH] Now includes <platform_kernel_args.h> as well as
 <arch_kernel_args.h>

git-svn-id: file:///srv/svn/repos/haiku/trunk/current@4976 a95241bf-73f2-0310-859d-f6bbb57e9c96
---
 headers/private/kernel/boot/kernel_args.h | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/headers/private/kernel/boot/kernel_args.h b/headers/private/kernel/boot/kernel_args.h
index 98f61b28d4..d5f41ceda6 100644
--- a/headers/private/kernel/boot/kernel_args.h
+++ b/headers/private/kernel/boot/kernel_args.h
@@ -7,7 +7,6 @@
 
 
 #include <SupportDefs.h>
-#include <platform_kernel_args.h>
 
 
 typedef struct address_range {
@@ -15,6 +14,9 @@ typedef struct address_range {
 	uint32 size;
 } addr_range;
 
+#include <platform_kernel_args.h>
+#include <arch_kernel_args.h>
+
 typedef struct kernel_args {
 	uint32		cons_line;
 	char		*str;
@@ -34,6 +36,7 @@ typedef struct kernel_args {
 	addr_range	cpu_kstack[MAX_BOOT_CPUS];
 
 	platform_kernel_args platform_args;
+	arch_kernel_args arch_args;
 
 	struct framebuffer {
 		int		enabled;