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