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
13#include <OS.h>
14
15#include <arch_cpu.h>
16#include <arch/system_info.h>
17#include <boot/kernel_args.h>
18
19
20status_t
21arch_get_system_info(system_info *info, size_t size)
22{
23	return B_OK;
24}
25
26
27void
28arch_fill_topology_node(cpu_topology_node_info* node, int32 cpu)
29{
30	switch (node->type) {
31		case B_TOPOLOGY_ROOT:
32			// TODO: ARM_64?
33			node->data.root.platform = B_CPU_ARM;
34			break;
35
36		case B_TOPOLOGY_PACKAGE:
37			//TODO node->data.package.vendor = sCPUVendor;
38			node->data.package.cache_line_size = CACHE_LINE_SIZE;
39			break;
40
41		case B_TOPOLOGY_CORE:
42			//TODO node->data.core.model = sPVR;
43			//TODO node->data.core.default_frequency = sCPUClockFrequency;
44			break;
45
46		default:
47			break;
48	}
49}
50
51
52status_t
53arch_system_info_init(struct kernel_args *args)
54{
55	return B_OK;
56}
57
58
59status_t
60arch_get_frequency(uint64 *frequency, int32 cpu)
61{
62	*frequency = 0;
63	return B_OK;
64}
65
66