1/*
2 * Copyright 2007, Haiku Inc. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 *
5 * Authors:
6 * 		Fran��ois Revol <revol@free.fr>
7 *
8 * Copyright 2006, Ingo Weinhold <bonefish@cs.tu-berlin.de>.
9 * All rights reserved. Distributed under the terms of the MIT License.
10 */
11
12#include <OS.h>
13
14#include <arch_cpu.h>
15#include <arch/system_info.h>
16#include <boot/kernel_args.h>
17
18
19static uint64 sCPUClockFrequency;
20static uint64 sBusClockFrequency;
21static uint16 sCPURevision;
22
23
24void
25arch_fill_topology_node(cpu_topology_node_info* node, int32 cpu)
26{
27}
28
29
30status_t
31arch_system_info_init(struct kernel_args *args)
32{
33	return B_OK;
34}
35
36
37status_t
38arch_get_frequency(uint64 *frequency, int32 cpu)
39{
40	*frequency = sCPUClockFrequency;
41	return B_OK;
42}
43