No driver in dmap is NONE instead of 0.

diff --git a/servers/is/dmp_fs.c b/servers/is/dmp_fs.c
index c6044d4d0f2184aaa6b4f6b82f80a1ff897f9227..b3eb3d96425d118e892391cb1beac2235cd90788 100644 (file)
--- a/servers/is/dmp_fs.c
+++ b/servers/is/dmp_fs.c
@@ -73,7 +73,7 @@ PUBLIC void dtab_dmp()
     printf("Major  Proc  Flags\n");
     printf("-----  ----  -----\n");
     for (i=0; i<NR_DEVICES; i++) {
-        if (dmap[i].dmap_driver == 0) continue;
+        if (dmap[i].dmap_driver == NONE) continue;
         printf("%5d  %4d  %s\n",
                i, dmap[i].dmap_driver, dmap_flags(dmap[i].dmap_flags));
     }