From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Thu,  5 Jan 2012 19:21:48 +0100
From: David du Colombier <0intro@gmail.com>
To: 9fans@9fans.net
Message-ID: <20120105192148.31df73bb@gmail.com>
In-Reply-To: <86wr96vyql.fsf@cmarib.ramside>
References: <864nwchfc4.fsf@cmarib.ramside>
	<CADSkJJWc=gjKY242XPY0fGR7xrPDEr_Fb0D+fv+vw6E-m2Zttw@mail.gmail.com>
	<86wr96vyql.fsf@cmarib.ramside>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] Killing venti
Topicbox-Message-UUID: 55836370-ead7-11e9-9d60-3106f5b1d025

venti/sync calls vtsync which is documented in venti-client(2).

Hopefully, you don't have to flush the dcache or icache before
shutting down Venti. Especially since flushing the icache will
likely take a very long time.

--
David du Colombier