* Copyright 2004, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
* Distributed under the terms of the MIT License.
*/
#ifndef _KERNEL_ARCH_SYSTEM_INFO_H
#define _KERNEL_ARCH_SYSTEM_INFO_H
#include <OS.h>
#include <arch_system_info.h>
struct kernel_args;
#ifdef __cplusplus
extern "C" {
#endif
status_t arch_system_info_init(struct kernel_args *args);
void arch_fill_topology_node(cpu_topology_node_info* node, int32 cpu);
status_t arch_get_frequency(uint64 *frequency, int32 cpu);
#ifdef __cplusplus
}
#endif
#endif
