sync_test_and_set_bit
if (sync_test_and_set_bit(i, map_addr) == 0)
!sync_test_and_set_bit(port / BITS_PER_EVTCHN_WORD,