Rev 1888 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1888 | Rev 1956 | ||
---|---|---|---|
Line 137... | Line 137... | ||
137 | * The syscall interrupt gate must be calleable from userland. |
137 | * The syscall interrupt gate must be calleable from userland. |
138 | */ |
138 | */ |
139 | d->access |= DPL_USER; |
139 | d->access |= DPL_USER; |
140 | } |
140 | } |
141 | 141 | ||
142 | idt_setoffset(d, ((uintptr_t) interrupt_handlers) + i*interrupt_handler_size); |
142 | idt_setoffset(d, ((uintptr_t) interrupt_handlers) + i * interrupt_handler_size); |
143 | exc_register(i, "undef", (iroutine) null_interrupt); |
- | |
144 | } |
143 | } |
145 | exc_register(13, "gp_fault", (iroutine) gp_fault); |
- | |
146 | exc_register( 7, "nm_fault", (iroutine) nm_fault); |
- | |
147 | exc_register(12, "ss_fault", (iroutine) ss_fault); |
- | |
148 | exc_register(19, "simd_fp", (iroutine) simd_fp_exception); |
- | |
149 | } |
144 | } |
150 | 145 | ||
151 | 146 | ||
152 | /* Clean IOPL(12,13) and NT(14) flags in EFLAGS register */ |
147 | /* Clean IOPL(12,13) and NT(14) flags in EFLAGS register */ |
153 | static void clean_IOPL_NT_flags(void) |
148 | static void clean_IOPL_NT_flags(void) |