Searched defs:idt (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/hw/arch/amd64/
H A Dmachdep.c81 static struct gate_descriptor idt[256]; variable in typeref:struct:gate_descriptor
/seL4-camkes-master/tools/rumprun/platform/hw/arch/i386/
H A Dmachdep.c52 static struct gate_descriptor idt[256]; variable in typeref:struct:gate_descriptor
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c182 BOOT_CODE void init_idt_entry(idt_entry_t *idt, interrupt_t interrupt, void(*handler)(void)) argument
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c202 BOOT_CODE static void init_idt(idt_entry_t *idt) argument
[all...]
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c452 BOOT_CODE void init_idt_entry(idt_entry_t *idt, interrupt_t interrupt, void(*handler)(void)) argument

Completed in 160 milliseconds