1 #ifndef __GLO_X86_H__ 2 #define __GLO_X86_H__ 3 4 #include "kernel/kernel.h" 5 #include "arch_proto.h" 6 7 EXTERN int cpu_has_tsc; /* signal whether this cpu has time stamp register. This 8 feature was introduced by Pentium */ 9 10 EXTERN struct tss_s tss[CONFIG_MAX_CPUS]; 11 12 EXTERN int i386_paging_enabled; 13 14 #endif /* __GLO_X86_H__ */ 15