Removed mem chunks dump. (No longer available from kernel.)

diff --git a/servers/is/dmp.c b/servers/is/dmp.c
index 42026c333695c800df2e3f09355f20ee7a84c95f..69052d4bdfe25b42437ba060adc6190a7f9ad0a9 100644 (file)
--- a/servers/is/dmp.c
+++ b/servers/is/dmp.c
@@ -24,10 +24,9 @@ PUBLIC int do_fkey_pressed(message *m)
             case  F5:  monparams_dmp();        break;
             case  F6:  irqtab_dmp();           break;
             case  F7:  kmessages_dmp();        break;
-            case  F8:  timing_dmp();           break;
 
             case F10:  kenv_dmp();             break;
-            case F11:  memchunks_dmp();        break;
+            case F11:  timing_dmp();           break;
             case F12:  sched_dmp();            break;
             default: 
                printf("IS: unhandled notify for F%d (code %d)\n", 

diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index 3b264a4a9868e884006331bffc9e247d233f6404..33bb1d2c06b5497993f60cc2aaeb1c1ed1ea8ad8 100644 (file)
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -288,34 +288,16 @@ PUBLIC void kenv_dmp()
     printf("- kmem_size:  %5u\n", kinfo.kmem_size); 
     printf("- bootdev_base:  %5u\n", kinfo.bootdev_base); 
     printf("- bootdev_size:  %5u\n", kinfo.bootdev_size); 
+    printf("- bootdev_mem:  %5u\n", kinfo.bootdev_mem); 
     printf("- params_base:   %5u\n", kinfo.params_base); 
     printf("- params_size:   %5u\n", kinfo.params_size); 
     printf("- nr_procs:     %3u\n", kinfo.nr_procs); 
     printf("- nr_tasks:     %3u\n", kinfo.nr_tasks); 
+    printf("- release:      %.6s\n", kinfo.release); 
     printf("- version:      %.6s\n", kinfo.version); 
     printf("\n");
 }
 
-/*===========================================================================*
- *                             memchunks_dmp                                *
- *===========================================================================*/
-PUBLIC void memchunks_dmp()
-{
-    int i,r;
-    struct memory mem[NR_MEMS];
-    if ((r = sys_getmemchunks(mem)) != OK) {
-       report("IS","warning: couldn't get copy of mem chunks", r);
-       return;
-    }
-       
-    printf("Memory chunks:\n");
-    for (i=0; i<NR_MEMS; i++) {
-      printf("chunk %d: base %u, size %u\n", i, mem[i].base, mem[i].size);
-    }
-    printf("\n");
-}
-
-
 
 
 /*===========================================================================*

diff --git a/servers/is/proto.h b/servers/is/proto.h
index ccd8d028a6297890aedc83bd3c2614536ca4a5a7..669c83257acda7a0322286358dbf09e6f1d623b9 100644 (file)
--- a/servers/is/proto.h
+++ b/servers/is/proto.h
@@ -25,7 +25,6 @@ _PROTOTYPE( void kmessages_dmp, (void)                                        );
 _PROTOTYPE( void sched_dmp, (void)                                     );
 _PROTOTYPE( void monparams_dmp, (void)                                 );
 _PROTOTYPE( void kenv_dmp, (void)                                      );
-_PROTOTYPE( void memchunks_dmp, (void)                                 );
 _PROTOTYPE( void timing_dmp, (void)                                    );
 
 /* dmp_pm.c */