DYN_BUCKET_LOCK_DESTROY
DYN_BUCKET_LOCK_DESTROY(bucket_lock, bucket);
DYN_BUCKET_LOCK_DESTROY(V_dyn_bucket_lock, bucket);