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