/*
 * Copyright 2004, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
 * Distributed under the terms of the MIT License.
 */
#ifndef _KERNEL_ARCH_x86_SYSTEM_INFO_H
#define _KERNEL_ARCH_x86_SYSTEM_INFO_H


#include <OS.h>


#ifdef __cplusplus
extern "C" {
#endif

status_t get_current_cpuid(cpuid_info *info, uint32 eax);
status_t _user_get_cpuid(cpuid_info *info, uint32 eax, uint32 cpu);

#ifdef __cplusplus
}
#endif

#endif	/* _KRENEL_ARCH_x86_SYSTEM_INFO_H */