Update dcache.c