EVTCHN_TIMER
u32 ports[1] = { EVTCHN_TIMER };
.u.timer.port = EVTCHN_TIMER,
TEST_ASSERT(tmr.u.timer.port == EVTCHN_TIMER,
shinfo->evtchn_pending[0] = shinfo->evtchn_mask[0] = 1UL << EVTCHN_TIMER;