From 7a76a7a495c710b24446b7f87528e89476df201f Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Tue, 20 Jun 2006 10:03:48 +0000
Subject: [PATCH] Rename protected to prot

Also print size of grant table known in system
---
 servers/is/Makefile     |  2 +-
 servers/is/dmp.c        |  2 +-
 servers/is/dmp_kernel.c | 12 ++++++------
 3 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/servers/is/Makefile b/servers/is/Makefile
index 25d90001d..8c7963014 100644
--- a/servers/is/Makefile
+++ b/servers/is/Makefile
@@ -15,7 +15,7 @@ f = $u/src/servers/fs
 CC =	exec cc
 CFLAGS = -I$i
 LDFLAGS = -i
-LIBS = -lsys -lsysutil 
+LIBS =  -lsysutil  -lsys
 
 OBJ = main.o dmp.o dmp_kernel.o dmp_pm.o dmp_fs.o dmp_rs.o dmp_ds.o 
 
diff --git a/servers/is/dmp.c b/servers/is/dmp.c
index 483a9c51c..52c7b432d 100644
--- a/servers/is/dmp.c
+++ b/servers/is/dmp.c
@@ -12,7 +12,7 @@
 /* Define hooks for the debugging dumps. This table maps function keys
  * onto a specific dump and provides a description for it.
  */
-#define NHOOKS 18
+#define NHOOKS 19
 
 struct hook_entry {
 	int key;
diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index 0c0252c14..ef7573c93 100644
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -292,7 +292,7 @@ PUBLIC void kenv_dmp()
     printf("- pc_at:      %3d\n", machine.pc_at); 
     printf("- ps_mca:     %3d\n", machine.ps_mca); 
     printf("- processor:  %3d\n", machine.processor); 
-    printf("- protected:  %3d\n", machine.protected); 
+    printf("- protected:  %3d\n", machine.prot); 
     printf("- vdu_ega:    %3d\n", machine.vdu_ega); 
     printf("- vdu_vga:    %3d\n\n", machine.vdu_vga); 
     printf("Kernel info structure:\n");
@@ -366,7 +366,7 @@ PUBLIC void privileges_dmp()
       return;
   }
 
-  printf("\n--nr-id-name---- -flags- -traps- -ipc_to mask------------------------ \n");
+  printf("\n--nr-id-name---- -flags- -traps- grants -ipc_to mask- ----------------- \n");
 
   for (rp = oldrp; rp < END_PROC_ADDR; rp++) {
 	if (isemptyp(rp)) continue;
@@ -380,17 +380,17 @@ PUBLIC void privileges_dmp()
         if (r == -1 && ! (rp->p_rts_flags & SLOT_FREE)) {
 	    sp = &priv[USER_PRIV_ID];
         }
-	printf("(%02u) %-7.7s %s   %s  ",
+	printf("(%02u) %-7.7s %s   %s %7d ",
 	       sp->s_id, rp->p_name,
-	       s_flags_str(sp->s_flags), s_traps_str(sp->s_trap_mask) 
-        );
+	       s_flags_str(sp->s_flags), s_traps_str(sp->s_trap_mask),
+		sp->s_grant_entries);
         for (i=j=0; i < NR_SYS_PROCS; i++, j++) {
        	    ipc_to[j] = get_sys_bit(sp->s_ipc_to, i) ? '1' : '0';
        	    if (i % 8 == 7) ipc_to[++j] = ' ';
        	}
         ipc_to[j] = '\0';
 
-	printf(" %s \n", ipc_to);
+	printf(" %s\n", ipc_to);
   }
   if (rp == END_PROC_ADDR) rp = BEG_PROC_ADDR; else printf("--more--\r");
   oldrp = rp;