Searched refs:target_core (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_common.h35 * The following macros convert between (target_core, hw_irq) <-> irq_t <-> cnode index.
44 #define CORE_IRQ_TO_IRQT(tgt, _irq) ((irq_t){.irq = (_irq), .target_core = (tgt)})
46 (irq.target_core)*NUM_PPI + (_irq.irq) : \
52 #define IRQT_TO_CORE(irqt) (irqt.target_core)
/seL4-l4v-master/seL4/include/machine/
H A Dinterrupt.h41 word_t target_core; member in struct:__anon157

Completed in 37 milliseconds