/sys/src/cmd/venti/srv/dcache.c dcache.c