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