EVTCHN_PTR
return (atomic_testandset_xen_ulong(EVTCHN_PTR(mask, port),
atomic_clear_xen_ulong(EVTCHN_PTR(pending, port), EVTCHN_MASK(port));
atomic_set_xen_ulong(EVTCHN_PTR(mask, port), EVTCHN_MASK(port));