Searched defs:pending_irq (Results 1 – 4 of 4) sorted by relevance
425 uint16_t pending_irq = s->current_pending[cpu]; in gic_get_current_pending_irq() local