xen_atomic_xchg
l1 = xen_atomic_xchg(pendingl1, 0);
l1 = xen_atomic_xchg(&xenevt_ev1, 0);
l2 = xen_atomic_xchg(&xenevt_ev2[l1i], 0);