minix/kernel/arch/i386/glo.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#ifndef __GLO_X86_H__
#define __GLO_X86_H__

#include "kernel/kernel.h"
#include "arch_proto.h"

EXTERN int cpu_has_tsc;	/* signal whether this cpu has time stamp register. This
			   feature was introduced by Pentium */

EXTERN struct tss_s tss[CONFIG_MAX_CPUS];

EXTERN int i386_paging_enabled;

#endif /* __GLO_X86_H__ */