Searched refs:irqnr_received (Results 1 – 1 of 1) sorted by relevance
136 volatile uint32_t irqnr_received[MAX_SPI + 1]; variable144 irqnr_received[i] = 0; in reset_stats()179 irqnr_received[intid] += 1; in guest_irq_generic_handler()281 GUEST_ASSERT_EQ(irqnr_received[i], 1); in guest_inject()