sync_clear_bit
sync_clear_bit(port, BM(&s->evtchn_mask[0]));
sync_clear_bit(port, BM(&s->evtchn_pending[0]));
sync_clear_bit(EVTCHN_FIFO_BIT(PENDING, word), BM(word));