kernel/arch/i386/glo.h

   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__ */