35,12 → 35,21 |
#ifndef KERN_ia32_CPU_H_ |
#define KERN_ia32_CPU_H_ |
|
#define EFLAGS_IF (1 << 9) |
#define EFLAGS_RF (1 << 16) |
|
#define CR4_OSFXSR_MASK (1<<9) |
|
/* Support for SYSENTER and SYSEXIT */ |
#define IA32_MSR_SYSENTER_CS 0x174 |
#define IA32_MSR_SYSENTER_ESP 0x175 |
#define IA32_MSR_SYSENTER_EIP 0x176 |
|
#ifndef __ASM__ |
|
#include <arch/pm.h> |
#include <arch/asm.h> |
|
#define EFLAGS_IF (1 << 9) |
#define EFLAGS_RF (1 << 16) |
|
typedef struct { |
int vendor; |
int family; |
51,9 → 60,8 |
count_t iomapver_copy; /** Copy of TASK's I/O Permission bitmap generation count. */ |
} cpu_arch_t; |
|
#endif |
|
#define CR4_OSFXSR_MASK (1<<9) |
|
#define DR6_BT (1<<15) |
#define DR6_BS (1<<14) |
#define DR6_BD (1<<13) |