Changeset 640 for trunk/user/ksh

Timestamp:

Oct 1, 2019, 1:19:00 PM (5 years ago)

Author:

alain

Message:

Remove all RPCs in page-fault handling.

File:

• trunk/user/ksh/ksh.c (modified) (3 diffs)

trunk/user/ksh/ksh.c

@@ -400 +400 @@
     if( argc < 2 )
     {
-        printf("  usage: display  vmm      cxy      pid\n"
+        printf("  usage: display  vmm      cxy      pid      mapping\n"
                "         display  sched    cxy      lid\n"              
                "         display  process  cxy\n"              
@@ -416 +416 @@
     else if( strcmp( argv[1] , "vmm" ) == 0 )
     {
-        if( argc != 4 )
-        {
-                    printf("  usage: display vmm cxy pid\n");
+        if( argc != 5 )
+        {
+                    printf("  usage: display vmm cxy pid mapping\n");
             }
         else
@@ -424 +424 @@
                 unsigned int cxy = atoi(argv[2]);
                 unsigned int pid = atoi(argv[3]);
-
-            if( display_vmm( cxy , pid ) )
+                unsigned int map = atoi(argv[4]);
+
+            if( display_vmm( cxy , pid , map ) )
             {
                 printf("  error: no process %x in cluster %x\n", pid , cxy );