Searched refs:EVTCHN_TIMER (Results 1 – 1 of 1) sorted by relevance
41 #define EVTCHN_TIMER 13 macro301 u32 ports[1] = { EVTCHN_TIMER }; in guest_code()582 .u.timer.port = EVTCHN_TIMER, in main()798 TEST_ASSERT(tmr.u.timer.port == EVTCHN_TIMER, in main()828 shinfo->evtchn_pending[0] = shinfo->evtchn_mask[0] = 1UL << EVTCHN_TIMER; in main()