devio: update to the new ioctl naming

diff --git a/Kernel/devio.c b/Kernel/devio.c
index 0b0a7b0..27e5996 100644 (file)
--- a/Kernel/devio.c
+++ b/Kernel/devio.c
@@ -288,7 +288,7 @@ int d_flush(uint16_t dev)
 {
        if (!validdev(dev))
                panic("d_flush: bad device");
-       return (*dev_tab[major(dev)].dev_ioctl) (minor(dev), BLOCK_FLUSH_CACHE, 0);
+       return (*dev_tab[major(dev)].dev_ioctl) (minor(dev), BLKFLSBUF, 0);
 }
 
 /*