no vm_setbuf any more (kernel doesn't create its page table any more),

no relocking field (locks not checked)

diff --git a/kernel/system/Makefile b/kernel/system/Makefile
index 02a7e0fe8cd2104d9679347251b46c661f9dc0a4..f650362e199c8f375b5480dcb0f6b03de15e43d7 100644 (file)
--- a/kernel/system/Makefile
+++ b/kernel/system/Makefile
@@ -51,7 +51,6 @@ OBJECTS       = \
        $(SYSTEM)(do_sigreturn.o) \
        $(SYSTEM)(do_abort.o) \
        $(SYSTEM)(do_getinfo.o) \
-       $(SYSTEM)(do_vm_setbuf.o) \
        $(SYSTEM)(do_sprofile.o) \
        $(SYSTEM)(do_cprofile.o) \
        $(SYSTEM)(do_profbuf.o) \
@@ -162,9 +161,6 @@ $(SYSTEM)(do_vm.o): do_vm.o
 do_vm.o:       do_vm.c
        $(CC) do_vm.c
 
-$(SYSTEM)(do_vm_setbuf.o):     do_vm_setbuf.c
-       $(CC) do_vm_setbuf.c
-
 $(SYSTEM)(do_sprofile.o):       do_sprofile.c
        $(CC) do_sprofile.c
 

diff --git a/kernel/system/do_vm_setbuf.c b/kernel/system/do_vm_setbuf.c
deleted file mode 100644 (file)
index f3146e4..0000000
--- a/kernel/system/do_vm_setbuf.c
+++ /dev/null
@@ -1,33 +0,0 @@
-/* The system call implemented in this file:
- *   m_type:   SYS_VM_SETBUF
- *
- * The parameters for this system call are:
- *    m4_l1:   Start of the buffer
- *    m4_l2:   Length of the buffer
- *    m4_l3:   End of main memory
- */
-#include "../system.h"
-
-#if 0
-
-#define VM_DEBUG 0             /* enable/ disable debug output */
-
-/*===========================================================================*
- *                             do_vm_setbuf                                 *
- *===========================================================================*/
-PUBLIC int do_vm_setbuf(m_ptr)
-message *m_ptr;                        /* pointer to request message */
-{
-       vm_base= m_ptr->m4_l1;
-       vm_size= m_ptr->m4_l2;
-       vm_mem_high= m_ptr->m4_l3;
-
-#if VM_DEBUG
-       kprintf("do_vm_setbuf: got 0x%x @ 0x%x for 0x%x\n",
-               vm_size, vm_base, vm_mem_high);
-#endif
-
-       return OK;
-}
-
-#endif

diff --git a/lib/syslib/Makefile.in b/lib/syslib/Makefile.in
index 8f4f339e6e4c7089c1e249c0e85f8e1b26c52ea7..9c2f13c633e37946306a3945008a3299dc31d842 100644 (file)
--- a/lib/syslib/Makefile.in
+++ b/lib/syslib/Makefile.in
@@ -66,7 +66,6 @@ libsys_FILES=" \
        sys_vinl.c \
        sys_vinw.c \
        sys_vircopy.c \
-       sys_vm_setbuf.c \
        sys_vmctl.c \
        sys_voutb.c \
        sys_voutl.c \

diff --git a/lib/syslib/sys_vm_setbuf.c b/lib/syslib/sys_vm_setbuf.c
deleted file mode 100644 (file)
index ade00cc..0000000
--- a/lib/syslib/sys_vm_setbuf.c
+++ /dev/null
@@ -1,21 +0,0 @@
-#include "syslib.h"
-
-/*===========================================================================*
- *                                sys_vm_setbuf                                     *
- *===========================================================================*/
-PUBLIC int sys_vm_setbuf(base, size, high)
-phys_bytes base;
-phys_bytes size;
-phys_bytes high;
-{
-    message m;
-    int result;
-
-    m.m4_l1= base;
-    m.m4_l2= size;
-    m.m4_l3= high;
-
-    result = _taskcall(SYSTASK, SYS_VM_SETBUF, &m);
-    return(result);
-}
-

diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index 47c433565a6e16d63c99bf6cdeaa5ff9c716975f..6cad9d09e6b5257aa73ae59aeffa0e5ac1d0d51f 100644 (file)
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -311,9 +311,6 @@ PUBLIC void kenv_dmp()
     printf("- nr_tasks:     %3u\n", kinfo.nr_tasks); 
     printf("- release:      %.6s\n", kinfo.release); 
     printf("- version:      %.6s\n", kinfo.version); 
-#if DEBUG_LOCK_CHECK
-    printf("- relocking:    %d\n", kinfo.relocking); 
-#endif
     printf("\n");
 }