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 17 typedef 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