Searched refs:irqnr_received (Results 1 – 1 of 1) sorted by relevance
143 volatile uint32_t irqnr_received[MAX_SPI + 1]; variable151 irqnr_received[i] = 0; in reset_stats()186 irqnr_received[intid] += 1; in guest_irq_generic_handler()289 GUEST_ASSERT_EQ(irqnr_received[i], 1); in guest_inject()