Searched defs:interrupt (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/kernel/src/arch/riscv/
H A Dtraps.S119 interrupt: label
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dpic.c17 BOOT_CODE void pic_remap_irqs(interrupt_t interrupt) argument
/seL4-test-master/kernel/include/drivers/irq/
H A Driscv_plic0.h98 static inline bool_t plic_pending_interrupt(word_t interrupt) argument
/seL4-test-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-test-master/kernel/src/arch/arm/machine/
H A Dl2c_310.c128 } interrupt /* reg2 */; member in struct:l2cc_map
/seL4-test-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
/seL4-test-master/kernel/src/arch/x86/object/
H A Dvcpu.c1127 uint32_t interrupt; local
[all...]

Completed in 40 milliseconds