/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 { |