__atomic_leave
__atomic_leave(sr);
__atomic_leave(sr);
__atomic_leave(sr);
__atomic_leave(sr);
__atomic_leave(sr);
__atomic_leave(sr);
__atomic_leave(sr);
__atomic_leave(sr);
__atomic_leave(sr);
__atomic_leave(sr);
__atomic_leave(sr);
__atomic_leave(sr);