David had, however, brought up the ark of God from Kiriath-jearim to Jerusalem, where he had provided a place and pitched a tent for it;