Searched defs:irq_remote_call_ipi (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/
H A Dmachine.h46 #define irq_remote_call_ipi 0 macro
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/
H A Dmachine.h60 irq_remote_call_ipi = int_remote_call_ipi - IRQ_INT_OFFSET, enumerator in enum:_platform_irq_t
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/
H A Dmachine.h72 #define irq_remote_call_ipi 0 macro

Completed in 41 milliseconds