markers: turn marker_synchronize_unregister() into an inline