sync_set_bit
sync_set_bit(channel->monitor_bit,
sync_set_bit(relid, vmbus_connection.send_int_page);
sync_set_bit(port, BM(&s->evtchn_mask[0]));
sync_set_bit(port, BM(&s->evtchn_pending[0]));
sync_set_bit(port, BM(&s->evtchn_mask[0]));
sync_set_bit(EVTCHN_FIFO_BIT(PENDING, word), BM(word));
sync_set_bit(EVTCHN_FIFO_BIT(MASKED, word), BM(word));