2009-11-16 22:41:44 +01:00
|
|
|
#ifndef __GLO_X86_H__
|
|
|
|
#define __GLO_X86_H__
|
|
|
|
|
2010-09-15 16:09:52 +02:00
|
|
|
#include "kernel/kernel.h"
|
2010-09-15 16:10:18 +02:00
|
|
|
#include "arch_proto.h"
|
2010-09-15 16:09:52 +02:00
|
|
|
|
2009-11-16 22:41:44 +01:00
|
|
|
EXTERN int cpu_has_tsc; /* signal whether this cpu has time stamp register. This
|
|
|
|
feature was introduced by Pentium */
|
|
|
|
|
2010-09-15 16:09:52 +02:00
|
|
|
EXTERN struct tss_s tss[CONFIG_MAX_CPUS];
|
|
|
|
|
|
|
|
EXTERN int i386_paging_enabled;
|
|
|
|
|
2009-11-16 22:41:44 +01:00
|
|
|
#endif /* __GLO_X86_H__ */
|