1/*
2 * Copyright 2004-2005, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 */
5#ifndef _KERNEL_ARCH_x86_SYSTEM_INFO_H
6#define _KERNEL_ARCH_x86_SYSTEM_INFO_H
7
8
9#include <OS.h>
10
11#ifdef __cplusplus
12extern "C" {
13#endif
14
15status_t get_current_cpuid(cpuid_info* info, uint32 eax, uint32 ecx);
16uint32 get_eflags(void);
17void set_eflags(uint32 value);
18
19status_t _user_get_cpuid(cpuid_info* info, uint32 eax, uint32 cpu);
20
21#ifdef __cplusplus
22}
23#endif
24
25#endif	/* _KRENEL_ARCH_x86_SYSTEM_INFO_H */
26