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 13typedef 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} arch_kernel_args; 24 25#endif /* KERNEL_ARCH_ARM_KERNEL_ARGS_H */ 26