1 /* 2 ** Copyright 2003, Axel Dörfler, axeld@pinc-software.de. All rights reserved. 3 ** Distributed under the terms of the OpenBeOS 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 // kernel args 13 typedef struct { 14 int cpu_type; 15 int fpu_type; 16 int mmu_type; 17 int platform; 18 int machine; // platform specific machine type 19 20 // architecture specific 21 uint32 phys_pgdir; 22 uint32 vir_pgdir; 23 uint32 next_pagetable; 24 } arch_kernel_args; 25 26 #endif /* KERNEL_ARCH_ARM_KERNEL_ARGS_H */ 27