* Copyright 2009, Axel Dörfler, axeld@pinc-software.de.
* All rights reserved. Distributed under the terms of the MIT License.
*/
#ifndef _KERNEL_ARCH_MIPSEL_KERNEL_ARGS_H
#define _KERNEL_ARCH_MIPSEL_KERNEL_ARGS_H
#ifndef KERNEL_BOOT_KERNEL_ARGS_H
# error This file is included from <boot/kernel_args.h> only
#endif
#warning IMPLEMENT arch_kernel_args.h
#define _PACKED __attribute__((packed))
typedef struct {
int cpu_type;
int fpu_type;
int mmu_type;
int platform;
int machine;
uint64 cpu_frequency;
uint64 bus_frequency;
uint64 time_base_frequency;
} arch_kernel_args;
#endif
