Searched refs:evtchn_irq_expected (Results 1 – 1 of 1) sorted by relevance
615 bool evtchn_irq_expected = false; in main() local640 evtchn_irq_expected = true; in main()645 TEST_ASSERT(!evtchn_irq_expected, "Event channel IRQ not seen"); in main()710 evtchn_irq_expected = true; in main()715 TEST_ASSERT(!evtchn_irq_expected, in main()723 evtchn_irq_expected = true; in main()728 TEST_ASSERT(!evtchn_irq_expected, in main()743 evtchn_irq_expected = true; in main()748 TEST_ASSERT(!evtchn_irq_expected, in main()754 evtchn_irq_expected = true; in main()[all …]