venti: silence warnings in icache.c
1 file changed