/trunk/kernel/arch/amd64/include/cpuid.h |
---|
46,12 → 46,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; |
extern int has_cpuid(void); |
/trunk/kernel/arch/amd64/include/cpu.h |
---|
57,7 → 57,7 |
#include <typedefs.h> |
#include <arch/pm.h> |
struct cpu_arch { |
typedef struct { |
int vendor; |
int family; |
int model; |
65,7 → 65,7 |
struct tss *tss; |
count_t iomapver_copy; /** Copy of TASK's I/O Permission bitmap generation count. */ |
}; |
} cpu_arch_t; |
struct star_msr { |
/trunk/kernel/arch/amd64/src/amd64.c |
---|
103,7 → 103,7 |
void arch_pre_mm_init(void) |
{ |
struct cpu_info cpuid_s; |
cpu_info_t cpuid_s; |
cpuid(AMD_CPUID_EXTENDED,&cpuid_s); |
if (! (cpuid_s.cpuid_edx & (1<<AMD_EXT_NOEXECUTE))) |