xen_atomic_test_bit
if (xen_atomic_test_bit(&s->evtchn_pending[0], debug_port)) {
if (xen_atomic_test_bit(&s->evtchn_pending[0], debug_port)) {
if (xen_atomic_test_bit(&s->evtchn_pending[0], pin)) {
if (xen_atomic_test_bit(&pbxi->pbx_sh_info->flags,
while (xen_atomic_test_bit(&xpci_sc->sc_shared->flags,