Searched refs:intr_irq_called (Results 1 – 1 of 1) sorted by relevance
17 bool intr_irq_called; variable30 intr_irq_called = true; in intr_irq_handler()51 GUEST_ASSERT(intr_irq_called); in l2_guest_code()