Searched refs:evtchn_irq_expected (Results 1 – 1 of 1) sorted by relevance
605 bool evtchn_irq_expected = false; in main() local635 evtchn_irq_expected = true; in main()640 TEST_ASSERT(!evtchn_irq_expected, "Event channel IRQ not seen"); in main()704 evtchn_irq_expected = true; in main()709 TEST_ASSERT(!evtchn_irq_expected, in main()717 evtchn_irq_expected = true; in main()722 TEST_ASSERT(!evtchn_irq_expected, in main()737 evtchn_irq_expected = true; in main()742 TEST_ASSERT(!evtchn_irq_expected, in main()748 evtchn_irq_expected = true; in main()[all …]