sputrace: use marker_synchronize_unregister()