2004-04-22 02:46:35 +04:00
|
|
|
/*
|
2004-12-01 00:06:11 +03:00
|
|
|
* Copyright 2004, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
|
|
|
|
* Distributed under the terms of the MIT License.
|
|
|
|
*/
|
2004-04-22 02:46:35 +04:00
|
|
|
#ifndef _KERNEL_SYSTEM_INFO_H
|
|
|
|
#define _KERNEL_SYSTEM_INFO_H
|
|
|
|
|
|
|
|
|
|
|
|
#include <OS.h>
|
|
|
|
|
2004-12-01 00:06:11 +03:00
|
|
|
struct kernel_args;
|
2004-04-22 02:46:35 +04:00
|
|
|
|
2004-12-01 00:06:11 +03:00
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
|
|
|
extern status_t system_info_init(struct kernel_args *args);
|
2004-04-22 02:46:35 +04:00
|
|
|
extern status_t _user_get_system_info(system_info *userInfo, size_t size);
|
|
|
|
|
2004-12-01 00:06:11 +03:00
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2004-04-22 02:46:35 +04:00
|
|
|
#endif /* _KRENEL_SYSTEM_INFO_H */
|