Re: Dcache_lock replacement