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 | /** @} |