Allows concurrent dcache_put() calls