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