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