/trunk/kernel/arch/ia32/include/cpuid.h |
---|
37,12 → 37,12 |
#include <arch/types.h> |
struct cpu_info { |
typedef struct { |
uint32_t cpuid_eax; |
uint32_t cpuid_ebx; |
uint32_t cpuid_ecx; |
uint32_t cpuid_edx; |
} __attribute__ ((packed)); |
} __attribute__ ((packed)) cpu_info_t; |
struct __cpuid_extended_feature_info { |
unsigned sse3 : 1; |
97,7 → 97,7 |
return ret; |
} |
static inline void cpuid(uint32_t cmd, struct cpu_info *info) |
static inline void cpuid(uint32_t cmd, cpu_info_t *info) |
{ |
__asm__ volatile ( |
"movl %4, %%eax\n" |
/trunk/kernel/arch/ia32/include/cpu.h |
---|
42,7 → 42,7 |
#define EFLAGS_IF (1 << 9) |
#define EFLAGS_RF (1 << 16) |
struct cpu_arch { |
typedef struct { |
int vendor; |
int family; |
int model; |
50,7 → 50,7 |
struct tss *tss; |
count_t iomapver_copy; /** Copy of TASK's I/O Permission bitmap generation count. */ |
}; |
} cpu_arch_t; |
#define CR4_OSFXSR_MASK (1<<9) |