atomic_set_xen_ulong
atomic_set_xen_ulong(EVTCHN_PTR(mask, port), EVTCHN_MASK(port));
atomic_set_xen_ulong(&addr[bit / NBPL], 1UL << (bit % NBPL));