Searched refs:vintr_irq_called (Results 1 – 1 of 1) sorted by relevance
16 bool vintr_irq_called; variable24 vintr_irq_called = true; in vintr_irq_handler()50 GUEST_ASSERT(vintr_irq_called); in l2_guest_code()