1/*
2 * Copyright 2019 Haiku, Inc. All Rights Reserved.
3 * Distributed under the terms of the MIT License.
4 */
5#include <OS.h>
6
7#include <arch_cpu.h>
8#include <arch/system_info.h>
9#include <boot/kernel_args.h>
10
11
12status_t
13arch_get_system_info(system_info *info, size_t size)
14{
15	return B_OK;
16}
17
18
19void
20arch_fill_topology_node(cpu_topology_node_info* node, int32 cpu)
21{
22}
23
24
25status_t
26arch_system_info_init(struct kernel_args *args)
27{
28	return B_OK;
29}
30
31
32status_t
33arch_get_frequency(uint64 *frequency, int32 cpu)
34{
35	*frequency = 0;
36	return B_OK;
37}
38