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