Home
last modified time | relevance | path

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

/seL4-master/include/plat/pc99/plat/
A Dmachine.h58 irq_remote_call_ipi = int_remote_call_ipi - IRQ_INT_OFFSET, enumerator
/seL4-master/include/arch/riscv/arch/
A Dmachine.h266 #define irq_remote_call_ipi (INTERRUPT_IPI_0) macro
/seL4-master/include/arch/arm/arch/64/mode/
A Dmachine.h42 #define irq_remote_call_ipi 0 macro
/seL4-master/include/arch/arm/arch/32/mode/
A Dmachine.h81 #define irq_remote_call_ipi 0 macro

Completed in 10 milliseconds