Rev 4055 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4055 | Rev 4156 | ||
|---|---|---|---|
| Line 42... | Line 42... | ||
| 42 | void syscall_setup_cpu(void) |
42 | void syscall_setup_cpu(void) |
| 43 | { |
43 | { |
| 44 | extern void sysenter_handler(void); |
44 | extern void sysenter_handler(void); |
| 45 | 45 | ||
| 46 | /* set kernel mode CS selector */ |
46 | /* set kernel mode CS selector */ |
| 47 | write_msr(IA32_MSR_SYSENTER_CS, selector(KTEXT_DES)); |
47 | write_msr(IA32_MSR_SYSENTER_CS, gdtselector(KTEXT_DES)); |
| 48 | /* set kernel mode entry point */ |
48 | /* set kernel mode entry point */ |
| 49 | write_msr(IA32_MSR_SYSENTER_EIP, (uint32_t) sysenter_handler); |
49 | write_msr(IA32_MSR_SYSENTER_EIP, (uint32_t) sysenter_handler); |
| 50 | } |
50 | } |
| 51 | 51 | ||
| 52 | /** @} |
52 | /** @} |