Searched refs:irqnr_received (Results 1 – 1 of 1) sorted by relevance
142 volatile uint32_t irqnr_received[MAX_SPI + 1]; variable150 irqnr_received[i] = 0; in reset_stats()185 irqnr_received[intid] += 1; in guest_irq_generic_handler()288 GUEST_ASSERT_EQ(irqnr_received[i], 1); in guest_inject()