Searched refs:pic_remap_irqs (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/include/plat/pc99/plat/machine/
H A Dpic.h14 void pic_remap_irqs(interrupt_t vector);
/seL4-l4v-master/seL4/src/plat/pc99/machine/
H A Dpic.c17 BOOT_CODE void pic_remap_irqs(interrupt_t interrupt) function
33 /* We assume that pic_remap_irqs has already been called and
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dboot_sys.c405 pic_remap_irqs(IRQ_INT_OFFSET);

Completed in 291 milliseconds