1/*
2 * Copyright 2009, Axel Dörfler, axeld@pinc-software.de.
3 * All rights reserved. Distributed under the terms of the MIT License.
4 */
5#ifndef _KERNEL_ARCH_MIPSEL_KERNEL_ARGS_H
6#define _KERNEL_ARCH_MIPSEL_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#warning IMPLEMENT arch_kernel_args.h
13
14#define _PACKED __attribute__((packed))
15
16// kernel args
17typedef struct {
18	int			cpu_type;
19	int			fpu_type;
20	int			mmu_type;
21	int			platform;
22	int			machine;
23
24	// architecture specific
25	uint64		cpu_frequency;
26	uint64		bus_frequency;
27	uint64		time_base_frequency;
28} arch_kernel_args;
29
30#endif /* _KERNEL_ARCH_MIPSEL_KERNEL_ARGS_H */
31
32