Rev 2927 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2927 | Rev 3535 | ||
---|---|---|---|
Line 40... | Line 40... | ||
40 | #include <arch/types.h> |
40 | #include <arch/types.h> |
41 | #include <print.h> |
41 | #include <print.h> |
42 | #include <fpu_context.h> |
42 | #include <fpu_context.h> |
43 | 43 | ||
44 | #include <arch/smp/apic.h> |
44 | #include <arch/smp/apic.h> |
- | 45 | #include <arch/syscall.h> |
|
45 | 46 | ||
46 | /* |
47 | /* |
47 | * Identification of CPUs. |
48 | * Identification of CPUs. |
48 | * Contains only non-MP-Specification specific SMP code. |
49 | * Contains only non-MP-Specification specific SMP code. |
49 | */ |
50 | */ |
Line 121... | Line 122... | ||
121 | "mov %0,%%cr4\n" |
122 | "mov %0,%%cr4\n" |
122 | : "+r" (help) |
123 | : "+r" (help) |
123 | : "i" (CR4_OSFXSR_MASK|(1<<10)) |
124 | : "i" (CR4_OSFXSR_MASK|(1<<10)) |
124 | ); |
125 | ); |
125 | } |
126 | } |
- | 127 | ||
- | 128 | /* Setup fast SYSENTER/SYSEXIT syscalls */ |
|
- | 129 | syscall_setup_cpu(); |
|
126 | } |
130 | } |
127 | 131 | ||
128 | void cpu_identify(void) |
132 | void cpu_identify(void) |
129 | { |
133 | { |
130 | cpu_info_t info; |
134 | cpu_info_t info; |