1 /* 2 ** Copyright 2003, Axel Dörfler, axeld@pinc-software.de. All rights reserved. 3 ** Distributed under the terms of the MIT License. 4 */ 5 #ifndef KERNEL_ARCH_ARM_KERNEL_ARGS_H 6 #define KERNEL_ARCH_ARM_KERNEL_ARGS_H 7 8 #ifndef KERNEL_BOOT_KERNEL_ARGS_H 9 # error This file is included from <boot/kernel_args.h> only 10 #endif 11 12 13 #include <util/FixedWidthPointer.h> 14 15 16 #define _PACKED __attribute__((packed)) 17 18 // kernel args 19 typedef struct { 20 int cpu_type; 21 int fpu_type; 22 int mmu_type; 23 int platform; 24 int machine; // platform specific machine type 25 26 // architecture specific 27 uint32 phys_pgdir; 28 uint32 vir_pgdir; 29 uint32 next_pagetable; 30 31 // needed for UEFI, otherwise kernel acpi support can't find ACPI root 32 FixedWidthPointer<void> acpi_root; 33 } _PACKED arch_kernel_args; 34 35 #endif /* KERNEL_ARCH_ARM_KERNEL_ARGS_H */ 36