Re: [9fans] Killing venti

[David du Colombier]

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