2004-11-30 21:06:11 +00:00
|
|
|
/*
|
|
|
|
|
* Copyright 2004, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
|
|
|
|
|
* Distributed under the terms of the MIT License.
|
|
|
|
|
*/
|
|
|
|
|
#ifndef _KERNEL_ARCH_SYSTEM_INFO_H
|
|
|
|
|
#define _KERNEL_ARCH_SYSTEM_INFO_H
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#include <OS.h>
|
2004-12-01 03:54:23 +00:00
|
|
|
#include <arch_system_info.h>
|
|
|
|
|
|
2004-11-30 21:06:11 +00:00
|
|
|
|
|
|
|
|
struct kernel_args;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
|
extern "C" {
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
status_t arch_system_info_init(struct kernel_args *args);
|
2013-12-16 03:58:43 +01:00
|
|
|
void arch_fill_topology_node(cpu_topology_node_info* node, int32 cpu);
|
2004-11-30 21:06:11 +00:00
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
|
}
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#endif /* _KRENEL_ARCH_SYSTEM_INFO_H */
|
