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