Searched refs:init_idt_entry (Results 1 – 4 of 4) sorted by relevance
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 204 init_idt_entry(idt, 0x00, int_00); in init_idt()
205 init_idt_entry(idt, 0x01, int_01); in init_idt()
206 init_idt_entry(idt, 0x02, int_02); in init_idt()
207 init_idt_entry(idt, 0x03, int_03); in init_idt()
208 init_idt_entry(idt, 0x04, int_04); in init_idt()
209 init_idt_entry(idt, 0x05, int_05); in init_idt()
210 init_idt_entry(idt, 0x06, int_06); in init_idt()
211 init_idt_entry(idt, 0x07, int_07); in init_idt()
212 init_idt_entry(idt, 0x08, int_08); in init_idt()
213 init_idt_entry(idt, 0x09, int_09); in init_idt()
[all …]
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | vspace.h | 55 void init_idt_entry(idt_entry_t *idt, interrupt_t interrupt, void(*handler)(void));
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 182 BOOT_CODE void init_idt_entry(idt_entry_t *idt, interrupt_t interrupt, void(*handler)(void)) in init_idt_entry() function
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 452 BOOT_CODE void init_idt_entry(idt_entry_t *idt, interrupt_t interrupt, void(*handler)(void)) in init_idt_entry() function
|
Completed in 14 milliseconds