From f81233185780da21480331028eed220022e2d0b2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Revol?= Date: Sat, 22 Sep 2012 22:10:02 +0200 Subject: [PATCH] PPC: Add a platform field to the arch_kernel_args * We need to know which platform we are booted from --- headers/private/kernel/arch/ppc/arch_kernel_args.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/headers/private/kernel/arch/ppc/arch_kernel_args.h b/headers/private/kernel/arch/ppc/arch_kernel_args.h index 7780bfe7c9..26370d0d30 100644 --- a/headers/private/kernel/arch/ppc/arch_kernel_args.h +++ b/headers/private/kernel/arch/ppc/arch_kernel_args.h @@ -29,6 +29,9 @@ typedef struct { // to the Open Firmware. uint32 num_virtual_ranges_to_keep; addr_range virtual_ranges_to_keep[MAX_VIRTUAL_RANGES_TO_KEEP]; + + // platform type we booted from + int platform; } arch_kernel_args; #endif /* KERNEL_ARCH_PPC_KERNEL_ARGS_H */