Searched refs:vintr_irq_called (Results 1 – 1 of 1) sorted by relevance
20 bool vintr_irq_called; variable28 vintr_irq_called = true; in vintr_irq_handler()54 GUEST_ASSERT(vintr_irq_called); in l2_guest_code()
