xen_atomic_clear_bit
xen_atomic_clear_bit(&s->evtchn_pending[0], debug_port);
xen_atomic_clear_bit(&s->evtchn_pending[0], debug_port);
xen_atomic_clear_bit(&s->evtchn_pending[0], ev);
xen_atomic_clear_bit(&ci->ci_evtmask[0], evtch);
xen_atomic_clear_bit(&ci->ci_evtmask[0], evtchn);
xen_atomic_clear_bit(&s->evtchn_mask[0], pin);
xen_atomic_clear_bit(&curcpu()->ci_evtmask[0], evtch);
xen_atomic_clear_bit(&pbxi->pbx_sh_info->flags, _XEN_PCIF_active);
xen_atomic_clear_bit(&d->ci->ci_evtmask[0], i);
xen_atomic_clear_bit(&d->ci->ci_evtmask[0], unbind->port);