diff options
Diffstat (limited to 'src/cmd/venti/srv/icachewrite.c')
| -rw-r--r-- | src/cmd/venti/srv/icachewrite.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/cmd/venti/srv/icachewrite.c b/src/cmd/venti/srv/icachewrite.c index 5d8d437d..e1406ef1 100644 --- a/src/cmd/venti/srv/icachewrite.c +++ b/src/cmd/venti/srv/icachewrite.c @@ -251,7 +251,6 @@ icachewritecoord(void *v) as = icachestate(); if(as.arena==iwrite.as.arena && as.aa==iwrite.as.aa){ /* will not be able to do anything more than last flush - kick disk */ - fprint(2, "icache: nothing to do - kick dcache\n"); trace(TraceProc, "icachewritecoord kick dcache"); kickdcache(); trace(TraceProc, "icachewritecoord kicked dcache"); |