1 /* 2 * Copyright 2004, Axel Dörfler, axeld@pinc-software.de. All rights reserved. 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef _KERNEL_ARCH_SYSTEM_INFO_H 6 #define _KERNEL_ARCH_SYSTEM_INFO_H 7 8 9 #include <OS.h> 10 #include <arch_system_info.h> 11 12 13 struct kernel_args; 14 15 16 #ifdef __cplusplus 17 extern "C" { 18 #endif 19 20 status_t arch_system_info_init(struct kernel_args *args); 21 void arch_fill_topology_node(cpu_topology_node_info* node, int32 cpu); 22 status_t arch_get_frequency(uint64 *frequency, int32 cpu); 23 24 25 #ifdef __cplusplus 26 } 27 #endif 28 29 #endif /* _KRENEL_ARCH_SYSTEM_INFO_H */ 30