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 13struct kernel_args; 14 15 16#ifdef __cplusplus 17extern "C" { 18#endif 19 20status_t arch_system_info_init(struct kernel_args *args); 21void arch_fill_topology_node(cpu_topology_node_info* node, int32 cpu); 22status_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