Searched refs:evtchn_irq_expected (Results 1 – 1 of 1) sorted by relevance
618 bool evtchn_irq_expected = false; in main() local643 evtchn_irq_expected = true; in main()648 TEST_ASSERT(!evtchn_irq_expected, "Event channel IRQ not seen"); in main()713 evtchn_irq_expected = true; in main()718 TEST_ASSERT(!evtchn_irq_expected, in main()726 evtchn_irq_expected = true; in main()731 TEST_ASSERT(!evtchn_irq_expected, in main()746 evtchn_irq_expected = true; in main()751 TEST_ASSERT(!evtchn_irq_expected, in main()757 evtchn_irq_expected = true; in main()[all …]