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

/seL4-test-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c296 word_t hw_irq = IRQT_TO_IRQ(irq); local
298 if (HW_IRQ_IS_SGI(hw_irq)) {
301 int word = hw_irq >> 4;
302 int bit = ((hw_irq & 0xf) * 2);
304 if (HW_IRQ_IS_PPI(hw_irq)) {
316 if (HW_IRQ_IS_PPI(hw_irq)) {
383 word_t hw_irq = IRQT_TO_IRQ(irq); local
384 gic_dist->iroutern[hw_irq] = MPIDR_AFF_MASK(mpidr_map[target]);
/seL4-test-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v3.h278 word_t hw_irq = IRQT_TO_IRQ(irq); local
279 assert(IS_IRQ_VALID(active_irq[CURRENT_CPU_INDEX()]) && (active_irq[CURRENT_CPU_INDEX()] & IRQ_MASK) == hw_irq);
281 if (is_irq_edge_triggered(hw_irq)) {
282 gic_pending_clr(hw_irq);

Completed in 27 milliseconds