Searched refs:IRQT_TO_CORE (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/kernel/include/machine/
H A Dinterrupt.h31 * IRQT_TO_CORE: extracts the core out of an irq_t
48 #define IRQT_TO_CORE(irqt) 0 macro
/seL4-camkes-master/kernel/src/object/
H A Dinterrupt.c142 if (IRQ_IS_PPI(irq) && IRQT_TO_CORE(irq) != getCurrentCPUIndex()) {
143 doRemoteMaskPrivateInterrupt(IRQT_TO_CORE(irq), false, IRQT_TO_IDX(irq));
266 if (IRQ_IS_PPI(irq) && IRQT_TO_CORE(irq) != getCurrentCPUIndex()) {
267 doRemoteMaskPrivateInterrupt(IRQT_TO_CORE(irq), irqState == IRQInactive, IRQT_TO_IDX(irq));
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dgic_common.h52 #define IRQT_TO_CORE(irqt) (irqt.target_core) macro
H A Dgic_v2.h187 assert(!(IRQ_IS_PPI(irq)) || (IRQT_TO_CORE(irq) == getCurrentCPUIndex()));
H A Dgic_v3.h266 assert(!(IRQ_IS_PPI(irq)) || (IRQT_TO_CORE(irq) == getCurrentCPUIndex()));
/seL4-camkes-master/kernel/src/machine/
H A Dcapdl.c357 (long unsigned int)IRQT_TO_CORE(irq));
460 (long unsigned int)IRQT_TO_CORE(IDX_TO_IRQT(cap_irq_handler_cap_get_capIRQ(cap))));
506 (long unsigned int)IRQT_TO_CORE(IDX_TO_IRQT(cap_irq_handler_cap_get_capIRQ(cap))));
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c297 word_t core = IRQT_TO_CORE(irq);

Completed in 44 milliseconds