simple: no cache flusher needed

diff --git a/Kernel/simple.c b/Kernel/simple.c
index a4313fe..2e7ba95 100644 (file)
--- a/Kernel/simple.c
+++ b/Kernel/simple.c
@@ -71,7 +71,6 @@ int swapout(ptptr p)
        map = swapmap_alloc();
        if (map == 0)
                return ENOMEM;
-       flush_cache(p);
        blk = map * SWAP_SIZE;
        /* Write the app (and possibly the uarea etc..) to disk */
        swapwrite(SWAPDEV, blk, SWAPTOP - SWAPBASE,