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 12 status_t 13 arch_get_system_info(system_info *info, size_t size) 14 { 15 return B_OK; 16 } 17 18 19 void 20 arch_fill_topology_node(cpu_topology_node_info* node, int32 cpu) 21 { 22 } 23 24 25 status_t 26 arch_system_info_init(struct kernel_args *args) 27 { 28 return B_OK; 29 } 30 31 32 status_t 33 arch_get_frequency(uint64 *frequency, int32 cpu) 34 { 35 *frequency = 0; 36 return B_OK; 37 } 38