Home
last modified time | relevance | path

Searched defs:irq_reschedule_ipi (Results 1 – 4 of 4) sorted by relevance

/seL4-master/include/plat/pc99/plat/
A Dmachine.h59 irq_reschedule_ipi = int_reschedule_ipi - IRQ_INT_OFFSET, enumerator
/seL4-master/include/arch/riscv/arch/
A Dmachine.h267 #define irq_reschedule_ipi (INTERRUPT_IPI_1) macro
/seL4-master/include/arch/arm/arch/64/mode/
A Dmachine.h43 #define irq_reschedule_ipi 1 macro
/seL4-master/include/arch/arm/arch/32/mode/
A Dmachine.h82 #define irq_reschedule_ipi 1 macro

Completed in 6 milliseconds