headers/private/kernel/arch/system_info.h

   1 /*
   2  * Copyright 2004, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
   3  * Distributed under the terms of the MIT License.
   4  */
   5 #ifndef _KERNEL_ARCH_SYSTEM_INFO_H
   6 #define _KERNEL_ARCH_SYSTEM_INFO_H
   7
   8
   9 #include <OS.h>
  10 #include <arch_system_info.h>
  11
  12
  13 struct kernel_args;
  14
  15
  16 #ifdef __cplusplus
  17 extern "C" {
  18 #endif
  19
  20 status_t arch_system_info_init(struct kernel_args *args);
  21 void arch_fill_topology_node(cpu_topology_node_info* node, int32 cpu);
  22
  23 #ifdef __cplusplus
  24 }
  25 #endif
  26
  27 #endif  /* _KRENEL_ARCH_SYSTEM_INFO_H */